https://gitlab.lrde.epita.fr/akheireddine/bmctool
Tip revision: 37073044543a37346c2369f1d4f7c985724edd09 authored by akheireddine on 30 August 2021, 12:42:36 UTC
get minimum attempts script for edacc csv :
get minimum attempts script for edacc csv :
Tip revision: 3707304
compile_exp_mode.sh
#!/bin/bash
git checkout ak/cp21-exp && cd painless && git checkout ak/cp21-exp && make clean && cd ..
make clean
make all
curr_position=`pwd`
export LD_LIBRARY_PATH=$curr_position/NuSMV-2.6.0/NuSMV/lib:$LD_LIBRARY_PATH
