[CI] Invariant Verification Test Cases#699

Open

Basmet0 wants to merge 9 commits intoEPFL-LAP:mainfrom

Basmet0:invariant-ci

Commits on Jan 8, 2026

added capability of verifying the invariants using 1-induction
Bas Niekel
committed

Commits on Jan 9, 2026

added test for verify-annotation
Bas Niekel
committed
formatting
Bas Niekel
committed

Commits on Jan 14, 2026

gave the verify-invariants test a name, and moved it into ENABLE-LEQ-BINARIES
Bas Niekel
committed
parse nuXmv output using python
Bas Niekel
committed
combined verify-invariants into rigidification script
Bas Niekel
committed
removed unused script
Bas Niekel
committed
added some documentation for the verify-invariants command
Bas Niekel
committed
added enable-leq-binaries flag to CI build command
Bas Niekel
committed