#!/bin/sh

python -m unittest const_cond_cong_test.TestConstantConditionalCongruence.test_with_broken_random_case_from_extended
# python -m unittest extended_cond_cong_test.TestExtendedConditionalCongruence.test_horn_conjecture_broken_randomly_generated_case
# python -m unittest extended_cond_cong_test.TestExtendedConditionalCongruence.test_with_random_cases_of_fixed_size