Add z3 option to CFG-based checkers (#1099) #1636

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	26s
test (3.9)	2m 0s
test (3.10)	1m 57s
test (3.11)	1m 51s
test (3.12)	3m 14s
test (3.13)	2m 22s
finish	4s
	11m 54s