tests

Merge pull request #175 from BerkeleyLearnVerify/3DPruningImprovements #259

Job	Run time
test (3.8, ubuntu-latest, test)	6m 28s
test (3.8, ubuntu-latest, test-full)	8m 21s
test (3.8, windows-latest, test)	7m 58s
test (3.8, windows-latest, test-full)	10m 47s
test (3.9, ubuntu-latest, test)	6m 41s
test (3.9, ubuntu-latest, test-full)	8m 31s
test (3.9, windows-latest, test)	8m 7s
test (3.9, windows-latest, test-full)	10m 45s
test (3.10, ubuntu-latest, test)	6m 43s
test (3.10, ubuntu-latest, test-full)	8m 47s
test (3.10, windows-latest, test)	8m 3s
test (3.10, windows-latest, test-full)	11m 0s
test (3.11, ubuntu-latest, test)	6m 7s
test (3.11, ubuntu-latest, test-full)	8m 33s
test (3.11, windows-latest, test)	7m 47s
test (3.11, windows-latest, test-full)	11m 7s
test (3.12, ubuntu-latest, test)	6m 36s
test (3.12, ubuntu-latest, test-full)	11m 19s
test (3.12, windows-latest, test)	9m 0s
test (3.12, windows-latest, test-full)	11m 7s
check-format / check	16s
	2h 54m 3s

Provide feedback