Skip to content

Fix the error that Kani panics when there is no external parameter in quantifier's closure. - #4088

Merged
thanhnguyen-aws merged 8 commits into
model-checking:mainfrom
thanhnguyen-aws:twoquanti
May 21, 2025
Merged

Fix the error that Kani panics when there is no external parameter in quantifier's closure.#4088
thanhnguyen-aws merged 8 commits into
model-checking:mainfrom
thanhnguyen-aws:twoquanti

remove println

678d725
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs