Skip to content

E5b: --function, with the verdicts of a whole run - #95

Merged
SwayamInSync merged 26 commits into
mainfrom
fix/function-filter
Oct 28, 2026
Merged

E5b: --function, with the verdicts of a whole run#95
SwayamInSync merged 26 commits into
mainfrom
fix/function-filter

Merge fix/inductive-counterexamples into fix/function-filter.

ea6cae1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar