tests

Merge pull request #220 from BerkeleyLearnVerify/abanuelo/fix-issue-t… #315

Job	Run time
test (3.8, ubuntu-latest, test)	6m 43s
test (3.8, ubuntu-latest, test-full)	8m 24s
test (3.8, windows-latest, test)	8m 22s
test (3.8, windows-latest, test-full)	11m 0s
test (3.9, ubuntu-latest, test)	6m 39s
test (3.9, ubuntu-latest, test-full)	8m 35s
test (3.9, windows-latest, test)	7m 53s
test (3.9, windows-latest, test-full)	10m 50s
test (3.10, ubuntu-latest, test)	6m 27s
test (3.10, ubuntu-latest, test-full)	8m 36s
test (3.10, windows-latest, test)	8m 26s
check-format / check	12s
test (3.10, windows-latest, test-full)	11m 0s
test (3.11, ubuntu-latest, test)	6m 19s
test (3.11, ubuntu-latest, test-full)	8m 3s
test (3.11, windows-latest, test)	7m 46s
test (3.11, windows-latest, test-full)	10m 20s
test (3.12, ubuntu-latest, test)	6m 42s
test (3.12, ubuntu-latest, test-full)	16m 56s
test (3.12, windows-latest, test)	8m 13s
test (3.12, windows-latest, test-full)	14m 45s
	3h 2m 11s

Provide feedback