Repository navigation

Use default CBMC flags in RMC - #263

Merged

adpaco merged 10 commits into

model-checking:main-153-2021-07-09from

adpaco:default-flags

Jul 13, 2021

Commits on Jul 12, 2021
- Use `--unwinding-assertions` flag by default
  adpaco
  committed
  c9e3f78
- Scan CBMC output and make recommendations (unwinding)
  adpaco
  committed
  f9ac008
- Use `--no-default-flags` in Leibniz's test to avoid failure
  adpaco
  committed
  448ba55
- Split checks into groups. Add flags for groups. Print flags.
  adpaco
  committed
  531967d
- Allow dry runs for rmc and cargo-rmc
  adpaco
  committed
  945c8e7
- Add starter-kit checks and fix tests
  adpaco
  committed
  6112f95
- Add expected test for dry-run feature
  adpaco
  committed
  c3a9c95
- Dry-run: Emulate running proc. instead of just printing
  adpaco
  committed
  41c3da8
- Add explanations for checks disabled. Other minor fixes.
  adpaco
  committed
  bb83b25
- Order. Rename. Cover flags.
  adpaco
  committed
  c213892