Back to pull request #2035

Fix statement counting code in MaxStatementsConstraint #1355

Sign in to view logs

Summary
Jobs
- windows
- linux
- macos
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	3m 0s
linux	2m 46s
windows	4m 39s
	10m 25s