alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

bench: fix stutter bench compiler errors.

Browse source 
* NEWS: mention this fix.
* bench/stutter/stutter_bench.sh, bench/stutter/user.sh: Path to spot
  binaries would include an inexistant src directory.
* bench/stutter/stutter_invariance_formulas.cc: Add override qualifier
  to satisfy -Wsuggest-override.
This commit is contained in:
Thomas Medioni 2017-03-31 13:40:05 +02:00 • committed by Alexandre Duret-Lutz
parent 1ed6e518dd
commit 01ee49290f
4 changed files with 10 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

6
bench/stutter/user.sh
View file

@ -1,7 +1,7 @@
#!/bin/sh
RANDLTL=../../src/bin/randltl
LTLFILT=../../src/bin/ltlfilt
LTLDO=../../src/bin/ltldo
RANDLTL=../../bin/randltl
LTLFILT=../../bin/ltlfilt
LTLDO=../../bin/ltldo
set -e -x