restore default debugging option
undo last commit (restore default debugging option):
5c456efd4839f68521913787e0d27127368efa60
Merge branch 'examples' of github.com:APTE/APTE into examples
on going work: benchmarks
[FIX] BAC was not action-det (now, we find a false attack as expected)
Merge branch 'examples' into bench
more results + test with Fossacs+improper
split BAC
minor
benchmarks script with complete options
finish the script
display final_test_count using the correct channel
Merge branch 'bench' into compression
finish 2
Merge branch 'bench' into compression
Merge branch 'bench' into POR
Merge branch 'compression' into POR