Lines Matching defs:self
25 def _make_ir(self, emb_text): argument
33 def test_constant_integer(self): argument
43 def test_boolean_constant(self): argument
52 def test_constant_equality(self): argument
67 def test_constant_inequality(self): argument
82 def test_constant_less_than(self): argument
102 def test_constant_less_than_or_equal(self): argument
122 def test_constant_greater_than(self): argument
142 def test_constant_greater_than_or_equal(self): argument
162 def test_constant_and(self): argument
187 def test_constant_or(self): argument
212 def test_enum_constant(self): argument
223 def test_non_constant_field_reference(self): argument
234 def test_field_reference_bounds_are_uncomputable(self): argument
243 def test_field_references_references_bounds_are_uncomputable(self): argument
251 def test_non_constant_equality(self): argument
261 def test_constant_addition(self): argument
279 def test_constant_subtraction(self): argument
297 def test_constant_multiplication(self): argument
315 def test_nested_constant_expression(self): argument
349 def test_constant_plus_non_constant(self): argument
360 def test_constant_minus_non_constant(self): argument
371 def test_non_constant_minus_constant(self): argument
382 def test_non_constant_plus_non_constant(self): argument
395 def test_non_constant_minus_non_constant(self): argument
407 def test_non_constant_times_constant(self): argument
418 def test_non_constant_times_negative_constant(self): argument
430 def test_non_constant_times_zero(self): argument
441 def test_non_constant_times_non_constant_shared_modulus(self): argument
453 def test_non_constant_times_non_constant_congruent_to_zero(self): argument
465 def test_non_constant_times_non_constant_partially_shared_modulus(self): argument
478 def test_non_constant_times_non_constant_full_complexity(self): argument
491 def test_signed_non_constant_times_signed_non_constant_full_complexity(self): argument
507 def test_non_constant_times_non_constant_flipped_min_max(self): argument
529 def test_unbounded_plus_constant(self): argument
539 def test_negative_unbounded_plus_constant(self): argument
549 def test_negative_unbounded_plus_unbounded(self): argument
560 def test_unbounded_minus_unbounded(self): argument
571 def test_unbounded_minus_negative_unbounded(self): argument
582 def test_unbounded_times_constant(self): argument
592 def test_unbounded_times_negative_constant(self): argument
602 def test_unbounded_times_negative_zero(self): argument
612 def test_negative_unbounded_times_constant(self): argument
622 def test_double_unbounded_minus_unbounded(self): argument
633 def test_double_unbounded_times_negative_unbounded(self): argument
644 def test_upper_bound_of_field(self): argument
655 def test_lower_bound_of_field(self): argument
666 def test_upper_bound_of_max(self): argument
678 def test_lower_bound_of_max(self): argument
690 def test_double_unbounded_both_ends_times_negative_unbounded(self): argument
702 def test_choice_two_non_constant_integers(self): argument
728 def test_choice_one_non_constant_integer(self): argument
759 def test_choice_two_constant_integers(self): argument
780 def test_constant_true_has(self): argument
794 def test_constant_false_has(self): argument
809 def test_variable_has(self): argument
823 def test_max_of_constants(self): argument
837 def test_max_dominated_by_constant(self): argument
851 def test_max_of_variables(self): argument
865 def test_max_of_variables_with_shared_modulus(self): argument
879 def test_max_of_three_variables(self): argument
894 def test_max_of_one_variable(self): argument
909 def test_max_of_one_variable_and_one_constant(self): argument
924 def test_choice_non_integer_arguments(self): argument
934 def test_uint_value_range_for_explicit_size(self): argument
946 def test_uint_value_ranges(self): argument
972 def test_int_value_ranges(self): argument
998 def test_bcd_value_ranges(self): argument
1024 def test_virtual_field_bounds(self): argument
1035 def test_virtual_field_bounds_copied(self): argument
1052 def test_constant_reference_to_virtual_bounds_copied(self): argument
1068 def test_forward_reference_to_reference_to_enum_correctly_calculated(self): argument
1083 def test_min_of_infinities(self): argument
1089 def test_max_of_negative_infinities(self): argument
1093 def test_shared_modular_value_of_identical_modulus_and_value(self): argument
1097 def test_shared_modular_value_of_identical_modulus(self): argument
1101 def test_shared_modular_value_of_identical_value(self): argument
1105 def test_shared_modular_value_of_different_arguments(self): argument
1109 def test_shared_modular_value_of_infinity_and_non(self): argument
1114 def test_shared_modular_value_of_infinity_and_infinity(self): argument
1119 def test_shared_modular_value_of_infinity_and_identical_value(self): argument