• Thomas Medioni's avatar
    bench: fix stutter bench compiler errors. · 01ee4929
    Thomas Medioni authored and Alexandre Duret-Lutz's avatar 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
user.sh 668 Bytes