Skip to main content

Browse the archive

Revision 37073044543a37346c2369f1d4f7c985724edd09 authored by akheireddine on 30 August 2021, 12:42:36 UTC, committed by akheireddine on 30 August 2021, 12:42:36 UTC 
get minimum attempts script for edacc csv :
 
scripts/addUnknownLines_EDACCcsv.py
1 parent eb7d451
Raw File
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
back to top