https://gitlab.lrde.epita.fr/akheireddine/bmctool
Tip revision: a53e95a59b1df07faef315386eb33e6b91b6c499 authored by akheireddine on 20 August 2021, 15:52:30 UTC
Compute linear regression of LBD curve
Compute linear regression of LBD curve
Tip revision: a53e95a
compile_log_mode.sh
#!/bin/bash
git checkout ak/cp21-log && cd painless && git checkout ak/cp21-log && 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
