Skip to content

Fix statement counting code in MaxStatementsConstraint#2035

Merged
lahma merged 2 commits into
sebastienros:mainfrom
nicolay-f:fix-max-statements-constraint
Jan 23, 2025
Merged

Fix statement counting code in MaxStatementsConstraint#2035
lahma merged 2 commits into
sebastienros:mainfrom
nicolay-f:fix-max-statements-constraint

Add unit test

cd25e0d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs