Repository navigation

Fast fail feature - Stops verification process as soon as one failure is observed - Use case : CI speed up - #3879

Merged

zhassan-aws merged 12 commits into

model-checking:mainfrom

rajath-mk:fast-fail-feature

Feb 11, 2025

Merged

Fast fail feature - Stops verification process as soon as one failure is observed - Use case : CI speed up#3879
zhassan-aws merged 12 commits into
model-checking:mainfrom
rajath-mk:fast-fail-feature

Commits on Feb 6, 2025
- Add fail-fast flag --> Integration pending, added fail fast functionality to check_all_harnesses function without flag --> draft commit.
  rajath-mk
  committed
  6340423
Commits on Feb 7, 2025
- updated test case --> n harnesses with fixed number of threads (4), only 4 harnesses are run (not in any specific order) but execution stops after that.
  rajath-mk
  committed
  ac18579
- indexed failure fetch, using custom errorImpl
  rajath-mk
  committed
  88e6bed
Commits on Feb 8, 2025
- minimize computation by passing result directly
  rajath-mk
  committed
  c5f8097
- removed redundant compile time flags, added check for flag.
  rajath-mk
  committed
  d22d8be
Commits on Feb 10, 2025
- Added testcase. fixed minor comments.
  rajath-mk
  committed
  0991f57
- formatting fix
  rajath-mk
  committed
  e1dd014
- Update kani-driver/src/args/mod.rs
  
  rajath-mk
  and
  zhassan-aws
  authored
  586c230
- better naming conventions
  rajath-mk
  committed
  bf4e9ea
- Merge branch 'fast-fail-feature' of https://github.com/rajath-mk/kani into fast-fail-feature
  rajath-mk
  committed
  52936f2
- fix linter warnings/errors
  rajath-mk
  committed
  dea738f
- Merge branch 'main' into fast-fail-feature
  rajath-mk
  authored
  636b28d