test_corrupted_row_loses_detection (test_exact.ExactTests.test_corrupted_row_loses_detection) ... ok
test_counts_by_two_algorithms_and_generator_orbits (test_exact.ExactTests.test_counts_by_two_algorithms_and_generator_orbits) ... ok
test_extra_selmer_directions_are_invisible (test_exact.ExactTests.test_extra_selmer_directions_are_invisible) ... ok
test_global_source_mod_11_is_detected (test_exact.ExactTests.test_global_source_mod_11_is_detected) ... ok
test_good_ordinary_and_singular_model_guard (test_exact.ExactTests.test_good_ordinary_and_singular_model_guard) ... ok
test_group_edge_cases_and_small_complete_associativity (test_exact.ExactTests.test_group_edge_cases_and_small_complete_associativity) ... ok
test_minimal_model_and_residual_irreducibility_witness (test_exact.ExactTests.test_minimal_model_and_residual_irreducibility_witness) ... ok
test_primitivity_inference_has_counterexample (test_exact.ExactTests.test_primitivity_inference_has_counterexample) ... ok
test_published_local_witness_points (test_exact.ExactTests.test_published_local_witness_points) ... ok
test_scalar_algorithm_against_repeated_addition (test_exact.ExactTests.test_scalar_algorithm_against_repeated_addition) ... ok
test_simultaneous_lattice (test_exact.ExactTests.test_simultaneous_lattice) ... ok
test_square_zero_lifts_have_different_first_differentials (test_exact.ExactTests.test_square_zero_lifts_have_different_first_differentials) ... ok

----------------------------------------------------------------------
Ran 12 tests in 0.013s

OK