tests

Merge pull request #203 from BerkeleyLearnVerify/TypesImportFix #242

Job	Run time
test (3.8, ubuntu-latest, test)	7m 59s
test (3.8, ubuntu-latest, test-full)	9m 30s
test (3.8, windows-latest, test)	10m 49s
test (3.8, windows-latest, test-full)	16m 34s
test (3.9, ubuntu-latest, test)	8m 40s
test (3.9, ubuntu-latest, test-full)	10m 12s
test (3.9, windows-latest, test)	10m 58s
test (3.9, windows-latest, test-full)	13m 1s
test (3.10, ubuntu-latest, test)	8m 16s
test (3.10, ubuntu-latest, test-full)	9m 36s
test (3.10, windows-latest, test)	11m 42s
test (3.10, windows-latest, test-full)	14m 21s
test (3.11, ubuntu-latest, test)	7m 27s
test (3.11, ubuntu-latest, test-full)	9m 50s
test (3.11, windows-latest, test)	11m 18s
test (3.11, windows-latest, test-full)	17m 26s
test (3.12, ubuntu-latest, test)	8m 17s
test (3.12, ubuntu-latest, test-full)	20m 50s
test (3.12, windows-latest, test)	11m 8s
test (3.12, windows-latest, test-full)	19m 10s
check-format / check	17s
	3h 57m 21s

Provide feedback