def test_something_with_datetime(self):
try:
generate_symbol_table(contracts.something_with_datetime)
except Exception:
raise self.failureException
def test_something_optional_argument(self):
try:
generate_symbol_table(contracts.something_optional_argument)
except Exception:
raise self.failureException
def test_print_unique_list(self):
try:
generate_symbol_table(contracts.print_unique_list)
except Exception:
raise self.failureException
def test_simple_integer_comparison(self):
try:
generate_symbol_table(contracts.simple_integer_comparison)
except Exception:
raise self.failureException
def test_modulo_recursive(self):
try:
generate_symbol_table(contracts.modulo_recursive)
except Exception:
raise self.failureException
def test_four_comparator(self):
try:
generate_symbol_table(contracts.four_comparator)
except Exception:
raise self.failureException
def test_tuple_double_comparison(self):
try:
generate_symbol_table(contracts.tuple_double_comparison)
except Exception:
raise self.failureException
def test_disjunct_dict_merge(self):
try:
generate_symbol_table(contracts.disjunct_dict_merge)
except Exception:
raise self.failureException
def test_filter_list(self):
try:
generate_symbol_table(contracts.filter_list)
except Exception:
raise self.failureException
def test_integer_or_two_arguments(self):
try:
generate_symbol_table(contracts.integer_or_two_arguments)
except Exception:
raise self.failureException
def test_nested_nested_lists_flat(self):
try:
generate_symbol_table(contracts.nested_nested_lists_flat)
except Exception:
raise self.failureException
def test_safe_division(self):
try:
generate_symbol_table(contracts.safe_division)
except Exception:
raise self.failureException
def test_modulo_n_float_or_int(self):
try:
generate_symbol_table(contracts.modulo_n_float_or_int)
except Exception:
raise self.failureException
def test_print_only_letters(self):
try:
generate_symbol_table(contracts.print_only_letters)
except Exception:
raise self.failureException
def test_integer_and_complex(self):
try:
generate_symbol_table(contracts.integer_and_complex)
except Exception:
raise self.failureException
def test_json_gmail(self):
try:
generate_symbol_table(contracts.json_gmail)
except Exception:
raise self.failureException
def test_string_contains(self):
try:
generate_symbol_table(contracts.string_contains)
except Exception:
raise self.failureException
def test_string_callable(self): # FAILS
try:
generate_symbol_table(contracts.string_callable)
except Exception:
raise self.failureException
def test_three_comparator_equal(self):
try:
generate_symbol_table(contracts.three_comparator_equal)
except Exception:
raise self.failureException
def test_nested_implication(self):
try:
generate_symbol_table(contracts.nested_implication)
except Exception:
raise self.failureException
def test_or_tuple(self):
try:
generate_symbol_table(contracts.or_tuple)
except Exception:
raise self.failureException
def test_sorted_dict(self):
try:
generate_symbol_table(contracts.sorted_dict)
except Exception:
raise self.failureException
def test_redundant_comparison(self):
try:
generate_symbol_table(contracts.redundant_comparison)
except Exception:
raise self.failureException
def test_list_tuples_alternative(self):
try:
generate_symbol_table(contracts.list_tuples_alternative)
except Exception:
raise self.failureException
def test_point_in_square(self):
try:
generate_symbol_table(contracts.point_in_square)
except Exception:
raise self.failureException
def test_list_tuples_optional(self):
try:
generate_symbol_table(contracts.list_tuples_optional)
except Exception:
raise self.failureException
def test_user_data_to_json(self):
try:
generate_symbol_table(contracts.user_data_to_json)
except Exception:
raise self.failureException
def test_integer_string_union_optional(self):
try:
generate_symbol_table(contracts.integer_string_union_optional)
except Exception:
raise self.failureException
def test_something_float(self):
try:
generate_symbol_table(contracts.something_float)
except Exception:
raise self.failureException
def test_print_limited_characters(self):
try:
generate_symbol_table(contracts.print_limited_characters)
except Exception:
raise self.failureException
