Thomas Medioni authored and Alexandre Duret-Lutz committed
* 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.01ee4929
To find the state of this project's repository at the time of any of these versions, check out the tags.