test_all_combinations (__main__.ContractTests.test_all_combinations) ... ok
test_boundaries_and_rounding (__main__.ContractTests.test_boundaries_and_rounding) ... ok
test_count_once_basic_only (__main__.ContractTests.test_count_once_basic_only) ... ok
test_display_and_precision (__main__.ContractTests.test_display_and_precision) ... ok
test_invalid_vector_rejected (__main__.ContractTests.test_invalid_vector_rejected) ... ok
test_missing_states (__main__.ContractTests.test_missing_states) ... ok
test_no_temporal_hold (__main__.ContractTests.test_no_temporal_hold) ... ok
test_other_classes_do_not_filter (__main__.ContractTests.test_other_classes_do_not_filter) ... ok

----------------------------------------------------------------------
Ran 8 tests in 0.003s

OK