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
parent be41155308
commit 5f43fec8db
4 changed files with 10 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

3
NEWS
View file

@ -33,6 +33,9 @@ New in spot 2.3.2.dev (not yet released)
- spot::twa_graph::purge_unreachable_states() was misbehaving on - spot::twa_graph::purge_unreachable_states() was misbehaving on
alternating automata. alternating automata.
- In bench/stutter/ the .cc files were not compiling due to warnings being
caught as errors.
Backward-incompatible changes: Backward-incompatible changes:
- spot::acc_cond::mark_t::operator bool() has been marked as - spot::acc_cond::mark_t::operator bool() has been marked as

4
bench/stutter/stutter_bench.sh
View file

@ -1,7 +1,7 @@
#!/bin/sh #!/bin/sh
RANDLTL=../../src/bin/randltl RANDLTL=../../bin/randltl
LTLFILT=../../src/bin/ltlfilt LTLFILT=../../bin/ltlfilt
echo 'ltl-user-bench.csv:; ./user.sh' > run.mk echo 'ltl-user-bench.csv:; ./user.sh' > run.mk

4
bench/stutter/stutter_invariance_formulas.cc
View file

@ -54,14 +54,14 @@ namespace
int int
process_string(const std::string& input, process_string(const std::string& input,
const char* filename, int linenum) const char* filename, int linenum) override
{ {
formula = input; formula = input;
return job_processor::process_string(input, filename, linenum); return job_processor::process_string(input, filename, linenum);
} }
int int
process_formula(spot::formula f, const char*, int) process_formula(spot::formula f, const char*, int) override
{ {
spot::twa_graph_ptr a = trans.run(f); spot::twa_graph_ptr a = trans.run(f);
spot::twa_graph_ptr na = trans.run(spot::formula::Not(f)); spot::twa_graph_ptr na = trans.run(spot::formula::Not(f));

6
bench/stutter/user.sh
View file

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