Revision a53e95a59b1df07faef315386eb33e6b91b6c499 authored by akheireddine on 20 August 2021, 15:52:30 UTC, committed by akheireddine on 20 August 2021, 15:52:30 UTC
* scripts/LinearProgramming.py:Here.
1 parent c2f00bb
plot_pareto_front.sh
#!/bin/bash
curr_position=`pwd`
export LD_LIBRARY_PATH=$curr_position/NuSMV-2.6.0/NuSMV/lib:$LD_LIBRARY_PATH
if [ "$#" -le 0 ]; then
echo "Need 1 parameter :\n <res_log directory of .log files> [LTLSPEC name]";
exit 1;
fi
logFile=$1"/"
ltlspec=$2
mkdir raw
python3 scripts/BMCClauseClassification.py $logFile raw/ $logFile lbd-bmc 0 $ltlspec
python3 scripts/BMCClauseClassification.py $logFile raw/ $logFile pl 0 $ltlspec
python2.7 scripts/LinearProgramming.py $logFile"LBD-BMC-propagate.csv" "propagate" $logFile"LBD-BMC-conflict.csv" "conflict" $logFile $ltlspec
rm -rf raw
#rm $logFile*.csv
Computing file changes ...
