| datesat / __init__.py |
(no function) |
|
100.0% |
15 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / api.py |
DateSATBuilder.__init__ |
|
93.8% |
32 |
2 |
0 |
|
85.7% |
14 |
2 |
|
91.3% |
| datesat / api.py |
DateSATBuilder.add_date_var |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / api.py |
DateSATBuilder.add_int_var |
|
66.7% |
18 |
6 |
0 |
|
30.0% |
10 |
3 |
|
53.6% |
| datesat / api.py |
DateSATBuilder.add_bool_var |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / api.py |
DateSATBuilder.add_constraint |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / api.py |
DateSATBuilder.solve |
|
81.6% |
38 |
7 |
0 |
|
83.3% |
24 |
4 |
|
82.3% |
| datesat / api.py |
DateSATBuilder.get_constraints |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / api.py |
DateSATBuilder.to_smt2 |
|
0.0% |
9 |
9 |
0 |
|
0.0% |
6 |
0 |
|
0.0% |
| datesat / api.py |
DateSATBuilder.enable_smtlib_print |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / api.py |
(no function) |
|
100.0% |
13 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.__init__ |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.constraint |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / constraint_parser.py |
ConstraintTransformer.implication |
|
77.8% |
9 |
2 |
0 |
|
50.0% |
2 |
1 |
|
72.7% |
| datesat / constraint_parser.py |
ConstraintTransformer._strip_outer_parens |
|
91.7% |
12 |
1 |
0 |
|
90.0% |
10 |
1 |
|
90.9% |
| datesat / constraint_parser.py |
ConstraintTransformer.or_op |
|
77.8% |
9 |
2 |
0 |
|
50.0% |
2 |
1 |
|
72.7% |
| datesat / constraint_parser.py |
ConstraintTransformer.and_op |
|
77.8% |
9 |
2 |
0 |
|
50.0% |
2 |
1 |
|
72.7% |
| datesat / constraint_parser.py |
ConstraintTransformer.not_op |
|
83.3% |
6 |
1 |
0 |
|
50.0% |
2 |
1 |
|
75.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.eq_bool |
|
83.3% |
6 |
1 |
0 |
|
50.0% |
2 |
1 |
|
75.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.ne_bool |
|
83.3% |
6 |
1 |
0 |
|
50.0% |
2 |
1 |
|
75.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.bool_atom |
|
40.0% |
5 |
3 |
0 |
|
25.0% |
4 |
1 |
|
33.3% |
| datesat / constraint_parser.py |
ConstraintTransformer.date_comparison |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.int_comparison |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintTransformer._comparison_helper |
|
100.0% |
8 |
0 |
0 |
|
100.0% |
2 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.bool_literal |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_parser.py |
ConstraintTransformer._extract_date_components |
|
82.1% |
28 |
5 |
0 |
|
68.8% |
16 |
5 |
|
77.3% |
| datesat / constraint_parser.py |
ConstraintTransformer._has_variable |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
2 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintTransformer._transform_parametric_date_comparison |
|
61.3% |
31 |
12 |
0 |
|
40.0% |
20 |
2 |
|
52.9% |
| datesat / constraint_parser.py |
ConstraintTransformer._invert_operator |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.date_add_period |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / constraint_parser.py |
ConstraintTransformer.date_sub_period |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / constraint_parser.py |
ConstraintTransformer.date_atom |
|
60.0% |
5 |
2 |
0 |
|
50.0% |
4 |
2 |
|
55.6% |
| datesat / constraint_parser.py |
ConstraintTransformer.period_add |
|
0.0% |
4 |
4 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.period_sub |
|
0.0% |
4 |
4 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.int_mul_period |
|
0.0% |
4 |
4 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.period_mul_int |
|
0.0% |
4 |
4 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.period_atom |
|
0.0% |
5 |
5 |
0 |
|
0.0% |
4 |
0 |
|
0.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.int_add |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / constraint_parser.py |
ConstraintTransformer.int_sub |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / constraint_parser.py |
ConstraintTransformer.int_mul |
|
72.7% |
11 |
3 |
0 |
|
50.0% |
4 |
2 |
|
66.7% |
| datesat / constraint_parser.py |
ConstraintTransformer.int_neg |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / constraint_parser.py |
ConstraintTransformer.int_atom |
|
0.0% |
5 |
5 |
0 |
|
0.0% |
4 |
0 |
|
0.0% |
| datesat / constraint_parser.py |
ConstraintTransformer._is_constant |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / constraint_parser.py |
ConstraintTransformer.variable |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintTransformer._check_variable_type |
|
0.0% |
5 |
5 |
0 |
|
0.0% |
4 |
0 |
|
0.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.date_field_access |
|
100.0% |
3 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.date_field |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.date_constructor |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / constraint_parser.py |
ConstraintTransformer.period_constructor |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / constraint_parser.py |
ConstraintTransformer.comparison_op |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.int_const |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.number |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_parser.py |
ConstraintTransformer.string |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_parser.py |
ConstraintParser.__init__ |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintParser._validate_parentheses_balance |
|
36.4% |
33 |
21 |
0 |
|
45.5% |
22 |
2 |
|
40.0% |
| datesat / constraint_parser.py |
ConstraintParser.parse_constraint |
|
100.0% |
13 |
0 |
0 |
|
100.0% |
4 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintParser._is_invalid_variable_name |
|
94.7% |
19 |
1 |
0 |
|
83.3% |
12 |
2 |
|
90.3% |
| datesat / constraint_parser.py |
ConstraintParser.extract_variable_declarations |
|
100.0% |
11 |
0 |
0 |
|
83.3% |
6 |
1 |
|
94.1% |
| datesat / constraint_parser.py |
ConstraintParser.filter_declarations_from_constraints |
|
100.0% |
7 |
0 |
0 |
|
100.0% |
4 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintParser.extract_variables_from_constraints |
|
100.0% |
8 |
0 |
0 |
|
100.0% |
6 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintParser.infer_variable_types_from_context |
|
36.8% |
19 |
12 |
0 |
|
14.3% |
14 |
0 |
|
27.3% |
| datesat / constraint_parser.py |
ConstraintParser._validate_parse_tree_types |
|
92.3% |
39 |
3 |
0 |
|
88.6% |
44 |
5 |
|
90.4% |
| datesat / constraint_parser.py |
ConstraintParser._infer_types_from_tree |
|
80.3% |
76 |
15 |
0 |
|
76.2% |
84 |
12 |
|
78.1% |
| datesat / constraint_parser.py |
ConstraintParser._extract_vars_as_int |
|
84.6% |
13 |
2 |
0 |
|
71.4% |
14 |
4 |
|
77.8% |
| datesat / constraint_parser.py |
ConstraintParser.infer_date_component_bounds |
|
88.0% |
25 |
3 |
0 |
|
77.8% |
18 |
4 |
|
83.7% |
| datesat / constraint_parser.py |
ConstraintParser._extract_and_replace_parametric_dates |
|
100.0% |
10 |
0 |
0 |
|
100.0% |
2 |
0 |
|
100.0% |
| datesat / constraint_parser.py |
ConstraintParser._extract_and_replace_parametric_dates.replace_parametric_date |
|
82.1% |
28 |
5 |
0 |
|
71.4% |
14 |
4 |
|
78.6% |
| datesat / constraint_parser.py |
ConstraintParser.generate_builder_code |
|
87.2% |
86 |
11 |
0 |
|
80.6% |
62 |
4 |
|
84.5% |
| datesat / constraint_parser.py |
ConstraintParser.parse_constraint_data |
|
83.3% |
12 |
2 |
0 |
|
83.3% |
12 |
2 |
|
83.3% |
| datesat / constraint_parser.py |
(no function) |
|
100.0% |
64 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalDateVar.__init__ |
|
100.0% |
3 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalDateVar.set_value |
|
50.0% |
4 |
2 |
0 |
|
100.0% |
0 |
0 |
|
50.0% |
| datesat / constraint_validator.py |
EvalDateVar.clear_value |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateVar._hard_reset_value |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateVar.get_value |
|
66.7% |
18 |
6 |
0 |
|
66.7% |
6 |
2 |
|
66.7% |
| datesat / constraint_validator.py |
EvalDateVar._cmp |
|
100.0% |
3 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalDateVar._cmp.compare |
|
66.7% |
9 |
3 |
0 |
|
50.0% |
6 |
3 |
|
60.0% |
| datesat / constraint_validator.py |
EvalDateVar.__eq__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalDateVar.__ne__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalDateVar.__lt__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateVar.__le__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalDateVar.__gt__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalDateVar.__ge__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalDateVar.__add__ |
|
80.0% |
5 |
1 |
0 |
|
50.0% |
2 |
1 |
|
71.4% |
| datesat / constraint_validator.py |
EvalDateVar.__sub__ |
|
0.0% |
5 |
5 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateVar.year |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateVar.month |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateVar.day |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__init__ |
|
0.0% |
2 |
2 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent._get_component_value |
|
0.0% |
4 |
4 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent._cmp |
|
0.0% |
2 |
2 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent._cmp.compare |
|
0.0% |
17 |
17 |
0 |
|
0.0% |
8 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__eq__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__ne__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__lt__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__le__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__gt__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__ge__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent._binary_int_op |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent._binary_int_op.compute |
|
0.0% |
19 |
19 |
0 |
|
0.0% |
8 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__add__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__radd__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__sub__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__rsub__ |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__rsub__.compute |
|
0.0% |
15 |
15 |
0 |
|
0.0% |
6 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__mul__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__rmul__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__truediv__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__rtruediv__ |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__rtruediv__.compute |
|
0.0% |
15 |
15 |
0 |
|
0.0% |
6 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__mod__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__rmod__ |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalDateComponent.__rmod__.compute |
|
0.0% |
15 |
15 |
0 |
|
0.0% |
6 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__init__ |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalIntVar.set_value |
|
50.0% |
4 |
2 |
0 |
|
100.0% |
0 |
0 |
|
50.0% |
| datesat / constraint_validator.py |
EvalIntVar.get_value |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalIntVar._cmp |
|
100.0% |
3 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalIntVar._cmp.rhs |
|
55.6% |
9 |
4 |
0 |
|
50.0% |
4 |
2 |
|
53.8% |
| datesat / constraint_validator.py |
EvalIntVar._cmp.compare |
|
80.0% |
5 |
1 |
0 |
|
50.0% |
2 |
1 |
|
71.4% |
| datesat / constraint_validator.py |
EvalIntVar.__eq__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalIntVar.__ne__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__lt__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__le__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__gt__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__ge__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__add__ |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__add__.compute |
|
0.0% |
12 |
12 |
0 |
|
0.0% |
6 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__sub__ |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__sub__.compute |
|
0.0% |
12 |
12 |
0 |
|
0.0% |
6 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__mul__ |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__mul__.compute |
|
0.0% |
12 |
12 |
0 |
|
0.0% |
6 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__floordiv__ |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__floordiv__.compute |
|
0.0% |
12 |
12 |
0 |
|
0.0% |
6 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__mod__ |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__mod__.compute |
|
0.0% |
12 |
12 |
0 |
|
0.0% |
6 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__pow__ |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__pow__.compute |
|
0.0% |
15 |
15 |
0 |
|
0.0% |
6 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__radd__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__rsub__ |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__rsub__.compute |
|
0.0% |
4 |
4 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__rmul__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__truediv__ |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__truediv__.compute |
|
0.0% |
12 |
12 |
0 |
|
0.0% |
6 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__rtruediv__ |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__rtruediv__.compute |
|
0.0% |
4 |
4 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__rmod__ |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__rmod__.compute |
|
0.0% |
4 |
4 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__rpow__ |
|
0.0% |
4 |
4 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalIntVar.__rpow__.compute |
|
0.0% |
7 |
7 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalBoolVar.__init__ |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalBoolVar.set_value |
|
20.0% |
15 |
12 |
0 |
|
12.5% |
8 |
1 |
|
17.4% |
| datesat / constraint_validator.py |
EvalBoolVar.get_value |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalBoolVar._cmp |
|
100.0% |
3 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalBoolVar._cmp.rhs |
|
42.9% |
7 |
4 |
0 |
|
33.3% |
6 |
2 |
|
38.5% |
| datesat / constraint_validator.py |
EvalBoolVar._cmp.compare |
|
80.0% |
5 |
1 |
0 |
|
50.0% |
2 |
1 |
|
71.4% |
| datesat / constraint_validator.py |
EvalBoolVar.__eq__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalBoolVar.__ne__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalBoolVar.__invert__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalBoolVar.__and__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalBoolVar.__or__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalBuilder.__init__ |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalBuilder.add_date_var |
|
100.0% |
3 |
0 |
0 |
|
50.0% |
2 |
1 |
|
80.0% |
| datesat / constraint_validator.py |
EvalBuilder.add_int_var |
|
100.0% |
3 |
0 |
0 |
|
50.0% |
2 |
1 |
|
80.0% |
| datesat / constraint_validator.py |
EvalBuilder.add_bool_var |
|
100.0% |
3 |
0 |
0 |
|
50.0% |
2 |
1 |
|
80.0% |
| datesat / constraint_validator.py |
EvalBuilder.Or |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalBuilder.And |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalBuilder.Not |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalBuilder.Implies |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
EvalBuilder.add_constraint |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalBuilder.get_execution_context |
|
100.0% |
12 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / constraint_validator.py |
EvalBuilder.get_execution_context.mock_import |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / constraint_validator.py |
EvalBuilder.get_execution_context.DateWrapper |
|
22.2% |
9 |
7 |
0 |
|
50.0% |
2 |
1 |
|
27.3% |
| datesat / constraint_validator.py |
EvalBuilder.get_execution_context.DateWrapper.get_date_value |
|
0.0% |
9 |
9 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
_parse_date_string |
|
0.0% |
9 |
9 |
0 |
|
0.0% |
4 |
0 |
|
0.0% |
| datesat / constraint_validator.py |
_parse_solution_value |
|
30.0% |
20 |
14 |
0 |
|
35.7% |
14 |
1 |
|
32.4% |
| datesat / constraint_validator.py |
validate_constraint_solution |
|
58.6% |
58 |
24 |
0 |
|
55.6% |
36 |
8 |
|
57.4% |
| datesat / constraint_validator.py |
(no function) |
|
100.0% |
97 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Date.__init__ |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Date.year |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Date.month |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Date.day |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Date._validate |
|
100.0% |
12 |
0 |
0 |
|
83.3% |
6 |
1 |
|
94.4% |
| datesat / core.py |
Date.__str__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Date.__hash__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Date.__eq__ |
|
28.6% |
7 |
5 |
0 |
|
25.0% |
4 |
1 |
|
27.3% |
| datesat / core.py |
Date.__ne__ |
|
85.7% |
7 |
1 |
0 |
|
75.0% |
4 |
1 |
|
81.8% |
| datesat / core.py |
Date.__lt__ |
|
0.0% |
7 |
7 |
0 |
|
0.0% |
4 |
0 |
|
0.0% |
| datesat / core.py |
Date.__le__ |
|
0.0% |
7 |
7 |
0 |
|
0.0% |
4 |
0 |
|
0.0% |
| datesat / core.py |
Date.__gt__ |
|
0.0% |
7 |
7 |
0 |
|
0.0% |
4 |
0 |
|
0.0% |
| datesat / core.py |
Date.__ge__ |
|
0.0% |
7 |
7 |
0 |
|
0.0% |
4 |
0 |
|
0.0% |
| datesat / core.py |
Date.to_python_date |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Date.from_python_date |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Date.__add__ |
|
0.0% |
5 |
5 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / core.py |
Date.__sub__ |
|
0.0% |
4 |
4 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / core.py |
Period.__init__ |
|
100.0% |
12 |
0 |
0 |
|
100.0% |
8 |
0 |
|
100.0% |
| datesat / core.py |
Period.years |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Period.months |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Period.days |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Period.__str__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Period.__hash__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Period.__eq__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Period.__ne__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / core.py |
Period.__mul__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / core.py |
Period.__rmul__ |
|
0.0% |
3 |
3 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / core.py |
Period.__add__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / core.py |
Period.__sub__ |
|
0.0% |
3 |
3 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / core.py |
(no function) |
|
100.0% |
45 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
_wrap_constraint_for_enumeration |
|
0.0% |
9 |
9 |
0 |
|
0.0% |
8 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
Or_enumeration |
|
0.0% |
3 |
3 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
And_enumeration |
|
0.0% |
3 |
3 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
Not_enumeration |
|
0.0% |
2 |
2 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
Implies_enumeration |
|
0.0% |
3 |
3 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
ConstraintWrapper.__init__ |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
ConstraintWrapper.evaluate |
|
50.0% |
6 |
3 |
0 |
|
50.0% |
2 |
1 |
|
50.0% |
| datesat / enumeration_baseline.py |
ConstraintWrapper.__bool__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.__init__ |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.set_value |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.get_value |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.clear_value |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.__str__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.__add__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.__sub__ |
|
0.0% |
3 |
3 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.__mul__ |
|
0.0% |
3 |
3 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.__mod__ |
|
0.0% |
3 |
3 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar._compare |
|
0.0% |
2 |
2 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar._compare.compare |
|
0.0% |
17 |
17 |
0 |
|
0.0% |
8 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.__eq__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.__ne__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.__lt__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.__le__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.__gt__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentVar.__ge__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentExpr.__init__ |
|
100.0% |
3 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentExpr.evaluate |
|
0.0% |
27 |
27 |
0 |
|
0.0% |
24 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentExpr.get_base_var |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentExpr._compare |
|
0.0% |
2 |
2 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentExpr._compare.compare |
|
0.0% |
17 |
17 |
0 |
|
0.0% |
8 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentExpr.__eq__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentExpr.__ne__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentExpr.__lt__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentExpr.__le__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentExpr.__gt__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationComponentExpr.__ge__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.__init__ |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.__str__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationDateVar._hard_reset_value |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.set_value |
|
71.4% |
7 |
2 |
0 |
|
100.0% |
0 |
0 |
|
71.4% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.get_value |
|
83.3% |
18 |
3 |
0 |
|
87.5% |
8 |
1 |
|
84.6% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.to_concrete_date |
|
0.0% |
3 |
3 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationDateVar._get_comparison_func |
|
85.7% |
14 |
2 |
0 |
|
66.7% |
6 |
2 |
|
80.0% |
| datesat / enumeration_baseline.py |
EnumerationDateVar._get_comparison_func.compare |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / enumeration_baseline.py |
EnumerationDateVar._get_equality_binding |
|
80.0% |
5 |
1 |
0 |
|
75.0% |
4 |
1 |
|
77.8% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.__ge__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.__le__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.__lt__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.__gt__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.__eq__ |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.__ne__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.__add__ |
|
90.0% |
10 |
1 |
0 |
|
75.0% |
4 |
1 |
|
85.7% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.__sub__ |
|
45.5% |
11 |
6 |
0 |
|
50.0% |
4 |
2 |
|
46.7% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.year |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.month |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateVar.day |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent.__init__ |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent._get_component_value |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent._compare |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent._compare.compare |
|
35.7% |
14 |
9 |
0 |
|
30.0% |
10 |
3 |
|
33.3% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent.__eq__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent.__ne__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent.__lt__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent.__le__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent.__gt__ |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent.__ge__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent.__add__ |
|
0.0% |
5 |
5 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent.__sub__ |
|
0.0% |
11 |
11 |
0 |
|
0.0% |
4 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent.__mul__ |
|
0.0% |
5 |
5 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent.__mod__ |
|
0.0% |
5 |
5 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationDateComponent.__truediv__ |
|
0.0% |
5 |
5 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.__init__ |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.add_date_var |
|
80.0% |
5 |
1 |
0 |
|
50.0% |
2 |
1 |
|
71.4% |
| datesat / enumeration_baseline.py |
EnumerationSolver.add_year_var |
|
80.0% |
5 |
1 |
0 |
|
50.0% |
2 |
1 |
|
71.4% |
| datesat / enumeration_baseline.py |
EnumerationSolver.add_month_var |
|
80.0% |
5 |
1 |
0 |
|
50.0% |
2 |
1 |
|
71.4% |
| datesat / enumeration_baseline.py |
EnumerationSolver.add_day_var |
|
80.0% |
5 |
1 |
0 |
|
50.0% |
2 |
1 |
|
71.4% |
| datesat / enumeration_baseline.py |
EnumerationSolver.add_int_var |
|
0.0% |
24 |
24 |
0 |
|
0.0% |
24 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.SymbolicDate |
|
100.0% |
14 |
0 |
0 |
|
100.0% |
6 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.add_constraint |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.Or |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.And |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.Not |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.Implies |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.get_execution_context |
|
0.0% |
10 |
10 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.get_execution_context.mock_import |
|
0.0% |
3 |
3 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.check |
|
0.0% |
5 |
5 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.solve |
|
85.7% |
7 |
1 |
0 |
|
50.0% |
2 |
1 |
|
77.8% |
| datesat / enumeration_baseline.py |
EnumerationSolver.model |
|
0.0% |
2 |
2 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.get_concrete_dates |
|
0.0% |
2 |
2 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.to_smt2 |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver.get_assertions |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver._find_solution |
|
91.7% |
72 |
6 |
0 |
|
83.3% |
54 |
9 |
|
88.1% |
| datesat / enumeration_baseline.py |
EnumerationSolver._generate_all_valid_dates |
|
83.3% |
12 |
2 |
0 |
|
100.0% |
4 |
0 |
|
87.5% |
| datesat / enumeration_baseline.py |
EnumerationSolver._get_base_component_var |
|
80.0% |
5 |
1 |
0 |
|
75.0% |
4 |
1 |
|
77.8% |
| datesat / enumeration_baseline.py |
EnumerationSolver._evaluate_component |
|
0.0% |
7 |
7 |
0 |
|
0.0% |
6 |
0 |
|
0.0% |
| datesat / enumeration_baseline.py |
EnumerationSolver._generate_candidates_for_var |
|
94.1% |
17 |
1 |
0 |
|
90.0% |
10 |
1 |
|
92.6% |
| datesat / enumeration_baseline.py |
EnumerationSolver._get_component_ranges |
|
37.8% |
37 |
23 |
0 |
|
28.1% |
32 |
3 |
|
33.3% |
| datesat / enumeration_baseline.py |
EnumerationSolver._evaluate_constraints |
|
65.6% |
32 |
11 |
0 |
|
63.2% |
38 |
6 |
|
64.3% |
| datesat / enumeration_baseline.py |
(no function) |
|
100.0% |
111 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / solver.py |
solve |
|
0.0% |
29 |
29 |
0 |
|
0.0% |
10 |
0 |
|
0.0% |
| datesat / solver.py |
solve.create_builder |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / solver.py |
solve.quiet_solve |
|
0.0% |
8 |
8 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / solver.py |
solve_from_json |
|
0.0% |
4 |
4 |
0 |
|
0.0% |
2 |
0 |
|
0.0% |
| datesat / solver.py |
(no function) |
|
100.0% |
8 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
months_since_epoch_from_ym |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
ym_from_months_since_epoch |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar.__init__ |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar.__str__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar.year |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar.month |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar.day |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar.to_concrete_date |
|
80.0% |
10 |
2 |
0 |
|
100.0% |
0 |
0 |
|
80.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar.__ge__ |
|
85.7% |
7 |
1 |
0 |
|
75.0% |
4 |
1 |
|
81.8% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar.__le__ |
|
85.7% |
7 |
1 |
0 |
|
75.0% |
4 |
1 |
|
81.8% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar.__lt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar.__gt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar.__eq__ |
|
85.7% |
7 |
1 |
0 |
|
75.0% |
4 |
1 |
|
81.8% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar.__ne__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar._add_bounds |
|
85.7% |
7 |
1 |
0 |
|
50.0% |
2 |
1 |
|
77.8% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar.__add__ |
|
97.9% |
47 |
1 |
0 |
|
83.3% |
6 |
1 |
|
96.2% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
DateVar.__sub__ |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
AlphaBetaSolver.__init__ |
|
87.5% |
8 |
1 |
0 |
|
50.0% |
2 |
1 |
|
80.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
AlphaBetaSolver.add_date_var |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
AlphaBetaSolver.add_constraint |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
AlphaBetaSolver.check |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
AlphaBetaSolver.model |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
AlphaBetaSolver.get_concrete_dates |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
AlphaBetaSolver.solve |
|
38.9% |
18 |
11 |
0 |
|
50.0% |
8 |
2 |
|
42.3% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
AlphaBetaSolver.to_smt2 |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
AlphaBetaSolver.get_assertions |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / alpha_beta_bv.py |
(no function) |
|
100.0% |
42 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
const_array |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
2 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
mod48 |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
_floor_div_12 |
|
0.0% |
9 |
9 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
_floor_div_four_year_days |
|
100.0% |
9 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
months_since_epoch_from_ym |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
alpha_to_abs_month |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
eom_clamp |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar.__init__ |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar.__str__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar.year |
|
100.0% |
3 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar.month |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar.day |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar.to_concrete_date |
|
80.0% |
10 |
2 |
0 |
|
100.0% |
0 |
0 |
|
80.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar._add_bounds |
|
85.7% |
7 |
1 |
0 |
|
50.0% |
2 |
1 |
|
77.8% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar.__ge__ |
|
85.7% |
7 |
1 |
0 |
|
75.0% |
4 |
1 |
|
81.8% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar.__le__ |
|
85.7% |
7 |
1 |
0 |
|
75.0% |
4 |
1 |
|
81.8% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar.__lt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar.__gt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar.__eq__ |
|
85.7% |
7 |
1 |
0 |
|
75.0% |
4 |
1 |
|
81.8% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar.__ne__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar.__add__ |
|
98.6% |
72 |
1 |
0 |
|
90.0% |
10 |
1 |
|
97.6% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
DateVar.__sub__ |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
AlphaBetaTableSolver.__init__ |
|
87.5% |
8 |
1 |
0 |
|
50.0% |
2 |
1 |
|
80.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
AlphaBetaTableSolver.add_date_var |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
AlphaBetaTableSolver.add_constraint |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
AlphaBetaTableSolver.check |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
AlphaBetaTableSolver.model |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
AlphaBetaTableSolver.get_concrete_dates |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
AlphaBetaTableSolver.solve |
|
38.9% |
18 |
11 |
0 |
|
50.0% |
8 |
2 |
|
42.3% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
AlphaBetaTableSolver.to_smt2 |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
AlphaBetaTableSolver.get_assertions |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / alpha_beta_table_bv.py |
(no function) |
|
100.0% |
51 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / bitwidths.py |
(no function) |
|
100.0% |
21 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
date_from_days_since_epoch |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
days_since_epoch_from_date |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
add_days_ordinal |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
days_before_year |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
days_before_month |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
2 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
to_ordinal |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
from_ordinal |
|
100.0% |
18 |
0 |
0 |
|
100.0% |
4 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
_ymd_from_days_since_epoch_bv |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
_days_since_epoch_from_ymd_bv |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
ymd_from_days_since_epoch |
|
100.0% |
3 |
0 |
0 |
|
100.0% |
2 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
days_since_epoch_from_ymd |
|
83.3% |
6 |
1 |
0 |
|
75.0% |
4 |
1 |
|
80.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
_dbm_index |
|
100.0% |
3 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar.__init__ |
|
100.0% |
3 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar.__str__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar.year |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar.month |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar.day |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar.to_concrete_date |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar.__ge__ |
|
80.0% |
5 |
1 |
0 |
|
75.0% |
4 |
1 |
|
77.8% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar.__le__ |
|
80.0% |
5 |
1 |
0 |
|
75.0% |
4 |
1 |
|
77.8% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar.__lt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar.__gt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar.__eq__ |
|
80.0% |
5 |
1 |
0 |
|
75.0% |
4 |
1 |
|
77.8% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar.__ne__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar._add_bounds |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar.__add__ |
|
94.4% |
18 |
1 |
0 |
|
83.3% |
6 |
1 |
|
91.7% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
DateVar.__sub__ |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
EpochDaysSolver.__init__ |
|
87.5% |
8 |
1 |
0 |
|
50.0% |
2 |
1 |
|
80.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
EpochDaysSolver.add_date_var |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
EpochDaysSolver.add_constraint |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
EpochDaysSolver.check |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
EpochDaysSolver.model |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
EpochDaysSolver.get_concrete_dates |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
EpochDaysSolver.solve |
|
38.9% |
18 |
11 |
0 |
|
50.0% |
8 |
2 |
|
42.3% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
EpochDaysSolver.to_smt2 |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
EpochDaysSolver.get_assertions |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / epoch_days_bv.py |
(no function) |
|
100.0% |
51 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.__init__ |
|
100.0% |
11 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.__str__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.days_var |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.year_var |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.month_var |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.day_var |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.year |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.month |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.day |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar._ensure_ymd |
|
85.7% |
7 |
1 |
0 |
|
50.0% |
2 |
1 |
|
77.8% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar._epoch_expr |
|
100.0% |
7 |
0 |
0 |
|
100.0% |
2 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar._ymd_expr |
|
78.6% |
14 |
3 |
0 |
|
75.0% |
4 |
1 |
|
77.8% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.to_concrete_date |
|
55.6% |
18 |
8 |
0 |
|
75.0% |
4 |
1 |
|
59.1% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.__ge__ |
|
60.0% |
15 |
6 |
0 |
|
60.0% |
10 |
2 |
|
60.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.__le__ |
|
60.0% |
15 |
6 |
0 |
|
60.0% |
10 |
2 |
|
60.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.__lt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.__gt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.__eq__ |
|
57.1% |
21 |
9 |
0 |
|
64.3% |
14 |
3 |
|
60.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.__ne__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar._add_bounds |
|
66.7% |
9 |
3 |
0 |
|
66.7% |
6 |
2 |
|
66.7% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.__add__ |
|
91.4% |
35 |
3 |
0 |
|
75.0% |
8 |
2 |
|
88.4% |
| datesat / symbolic_bitvector / hybrid_bv.py |
DateVar.__sub__ |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / symbolic_bitvector / hybrid_bv.py |
HybridSolver.__init__ |
|
87.5% |
8 |
1 |
0 |
|
50.0% |
2 |
1 |
|
80.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
HybridSolver.add_date_var |
|
75.0% |
12 |
3 |
0 |
|
50.0% |
4 |
2 |
|
68.8% |
| datesat / symbolic_bitvector / hybrid_bv.py |
HybridSolver.add_constraint |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
HybridSolver.check |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
HybridSolver.model |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
HybridSolver.get_concrete_dates |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
HybridSolver.solve |
|
35.0% |
20 |
13 |
0 |
|
40.0% |
10 |
2 |
|
36.7% |
| datesat / symbolic_bitvector / hybrid_bv.py |
HybridSolver.to_smt2 |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
HybridSolver.get_assertions |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / hybrid_bv.py |
(no function) |
|
100.0% |
47 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / naive_bv.py |
is_leap |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / naive_bv.py |
days_in_month |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / naive_bv.py |
normalize_month |
|
100.0% |
11 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / naive_bv.py |
eom_clamp |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / naive_bv.py |
add_days_componentwise |
|
100.0% |
30 |
0 |
0 |
|
100.0% |
8 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / naive_bv.py |
DateVar.__init__ |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / naive_bv.py |
DateVar.__str__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / naive_bv.py |
DateVar.to_concrete_date |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / naive_bv.py |
DateVar.__ge__ |
|
90.0% |
10 |
1 |
0 |
|
75.0% |
4 |
1 |
|
85.7% |
| datesat / symbolic_bitvector / naive_bv.py |
DateVar.__le__ |
|
90.0% |
10 |
1 |
0 |
|
75.0% |
4 |
1 |
|
85.7% |
| datesat / symbolic_bitvector / naive_bv.py |
DateVar.__lt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / naive_bv.py |
DateVar.__gt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / naive_bv.py |
DateVar.__eq__ |
|
90.0% |
10 |
1 |
0 |
|
75.0% |
4 |
1 |
|
85.7% |
| datesat / symbolic_bitvector / naive_bv.py |
DateVar.__ne__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / naive_bv.py |
DateVar._add_bounds |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_bitvector / naive_bv.py |
DateVar.__add__ |
|
94.4% |
18 |
1 |
0 |
|
75.0% |
4 |
1 |
|
90.9% |
| datesat / symbolic_bitvector / naive_bv.py |
DateVar.__sub__ |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / symbolic_bitvector / naive_bv.py |
NaiveSolver.__init__ |
|
87.5% |
8 |
1 |
0 |
|
50.0% |
2 |
1 |
|
80.0% |
| datesat / symbolic_bitvector / naive_bv.py |
NaiveSolver.add_date_var |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / naive_bv.py |
NaiveSolver.add_constraint |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / naive_bv.py |
NaiveSolver.check |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / naive_bv.py |
NaiveSolver.model |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / naive_bv.py |
NaiveSolver.get_concrete_dates |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_bitvector / naive_bv.py |
NaiveSolver.solve |
|
43.8% |
16 |
9 |
0 |
|
50.0% |
8 |
2 |
|
45.8% |
| datesat / symbolic_bitvector / naive_bv.py |
NaiveSolver.to_smt2 |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / naive_bv.py |
NaiveSolver.get_assertions |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_bitvector / naive_bv.py |
(no function) |
|
100.0% |
34 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_int.py |
months_since_epoch_from_ym |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_int.py |
ym_from_months_since_epoch |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar.__init__ |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar.__str__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar.year |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar.month |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar.day |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar.to_concrete_date |
|
80.0% |
10 |
2 |
0 |
|
100.0% |
0 |
0 |
|
80.0% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar.__ge__ |
|
85.7% |
7 |
1 |
0 |
|
75.0% |
4 |
1 |
|
81.8% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar.__le__ |
|
85.7% |
7 |
1 |
0 |
|
75.0% |
4 |
1 |
|
81.8% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar.__lt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar.__gt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar.__eq__ |
|
85.7% |
7 |
1 |
0 |
|
75.0% |
4 |
1 |
|
81.8% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar.__ne__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar._add_bounds |
|
85.7% |
7 |
1 |
0 |
|
50.0% |
2 |
1 |
|
77.8% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar.__add__ |
|
97.9% |
47 |
1 |
0 |
|
83.3% |
6 |
1 |
|
96.2% |
| datesat / symbolic_int / alpha_beta_int.py |
DateVar.__sub__ |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / symbolic_int / alpha_beta_int.py |
AlphaBetaSolver.__init__ |
|
87.5% |
8 |
1 |
0 |
|
50.0% |
2 |
1 |
|
80.0% |
| datesat / symbolic_int / alpha_beta_int.py |
AlphaBetaSolver.add_date_var |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_int.py |
AlphaBetaSolver.add_constraint |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_int.py |
AlphaBetaSolver.check |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_int.py |
AlphaBetaSolver.model |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_int.py |
AlphaBetaSolver.get_concrete_dates |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_int.py |
AlphaBetaSolver.solve |
|
38.9% |
18 |
11 |
0 |
|
50.0% |
8 |
2 |
|
42.3% |
| datesat / symbolic_int / alpha_beta_int.py |
AlphaBetaSolver.to_smt2 |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / alpha_beta_int.py |
AlphaBetaSolver.get_assertions |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / alpha_beta_int.py |
(no function) |
|
100.0% |
41 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
eom_clamp |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
_is_leap_py |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
_days_in_month_py |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
4 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
_add_months |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
build_dim_dbm_48_from_epoch |
|
100.0% |
12 |
0 |
0 |
|
100.0% |
2 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
const_array |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
2 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
mod48 |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
alpha_to_abs_month |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
months_since_epoch_from_ym |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar.__init__ |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar.__str__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar.year |
|
100.0% |
3 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar.month |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar.day |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar.to_concrete_date |
|
80.0% |
10 |
2 |
0 |
|
100.0% |
0 |
0 |
|
80.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar._add_bounds |
|
85.7% |
7 |
1 |
0 |
|
50.0% |
2 |
1 |
|
77.8% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar.__ge__ |
|
85.7% |
7 |
1 |
0 |
|
75.0% |
4 |
1 |
|
81.8% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar.__le__ |
|
85.7% |
7 |
1 |
0 |
|
75.0% |
4 |
1 |
|
81.8% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar.__lt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar.__gt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar.__eq__ |
|
85.7% |
7 |
1 |
0 |
|
75.0% |
4 |
1 |
|
81.8% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar.__ne__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar.__add__ |
|
98.5% |
68 |
1 |
0 |
|
90.0% |
10 |
1 |
|
97.4% |
| datesat / symbolic_int / alpha_beta_table_int.py |
DateVar.__sub__ |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / symbolic_int / alpha_beta_table_int.py |
AlphaBetaTableSolver.__init__ |
|
87.5% |
8 |
1 |
0 |
|
50.0% |
2 |
1 |
|
80.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
AlphaBetaTableSolver.add_date_var |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
AlphaBetaTableSolver.add_constraint |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
AlphaBetaTableSolver.check |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
AlphaBetaTableSolver.model |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
AlphaBetaTableSolver.get_concrete_dates |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
AlphaBetaTableSolver.solve |
|
38.9% |
18 |
11 |
0 |
|
50.0% |
8 |
2 |
|
42.3% |
| datesat / symbolic_int / alpha_beta_table_int.py |
AlphaBetaTableSolver.to_smt2 |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
AlphaBetaTableSolver.get_assertions |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / alpha_beta_table_int.py |
(no function) |
|
100.0% |
51 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
_ymd_from_days_since_epoch_z3 |
|
100.0% |
16 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
_days_since_epoch_from_ymd_z3 |
|
100.0% |
10 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
ymd_from_days_since_epoch |
|
100.0% |
3 |
0 |
0 |
|
100.0% |
2 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
days_since_epoch_from_ymd |
|
83.3% |
6 |
1 |
0 |
|
75.0% |
4 |
1 |
|
80.0% |
| datesat / symbolic_int / epoch_days_int.py |
date_from_days_since_epoch |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
days_since_epoch_from_date |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
add_days_ordinal |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar.__init__ |
|
100.0% |
3 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar.__str__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar.year |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar.month |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar.day |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar.to_concrete_date |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar.__ge__ |
|
80.0% |
5 |
1 |
0 |
|
75.0% |
4 |
1 |
|
77.8% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar.__le__ |
|
80.0% |
5 |
1 |
0 |
|
75.0% |
4 |
1 |
|
77.8% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar.__lt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar.__gt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar.__eq__ |
|
80.0% |
5 |
1 |
0 |
|
75.0% |
4 |
1 |
|
77.8% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar.__ne__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar._add_bounds |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar.__add__ |
|
94.4% |
18 |
1 |
0 |
|
83.3% |
6 |
1 |
|
91.7% |
| datesat / symbolic_int / epoch_days_int.py |
DateVar.__sub__ |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / symbolic_int / epoch_days_int.py |
EpochDaysSolver.__init__ |
|
87.5% |
8 |
1 |
0 |
|
50.0% |
2 |
1 |
|
80.0% |
| datesat / symbolic_int / epoch_days_int.py |
EpochDaysSolver.add_date_var |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
EpochDaysSolver.add_constraint |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
EpochDaysSolver.check |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
EpochDaysSolver.model |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
EpochDaysSolver.get_concrete_dates |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / epoch_days_int.py |
EpochDaysSolver.solve |
|
38.9% |
18 |
11 |
0 |
|
50.0% |
8 |
2 |
|
42.3% |
| datesat / symbolic_int / epoch_days_int.py |
EpochDaysSolver.to_smt2 |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / epoch_days_int.py |
EpochDaysSolver.get_assertions |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / epoch_days_int.py |
(no function) |
|
100.0% |
43 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.__init__ |
|
100.0% |
11 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.__str__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.days_var |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.year_var |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.month_var |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.day_var |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.year |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.month |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.day |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.to_concrete_date |
|
58.8% |
17 |
7 |
0 |
|
75.0% |
4 |
1 |
|
61.9% |
| datesat / symbolic_int / hybrid_int.py |
DateVar._ensure_ymd |
|
85.7% |
7 |
1 |
0 |
|
50.0% |
2 |
1 |
|
77.8% |
| datesat / symbolic_int / hybrid_int.py |
DateVar._epoch_expr |
|
100.0% |
7 |
0 |
0 |
|
100.0% |
2 |
0 |
|
100.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar._ymd_expr |
|
78.6% |
14 |
3 |
0 |
|
75.0% |
4 |
1 |
|
77.8% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.__ge__ |
|
60.0% |
15 |
6 |
0 |
|
60.0% |
10 |
2 |
|
60.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.__le__ |
|
60.0% |
15 |
6 |
0 |
|
60.0% |
10 |
2 |
|
60.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.__lt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.__gt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.__eq__ |
|
57.1% |
21 |
9 |
0 |
|
64.3% |
14 |
3 |
|
60.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.__ne__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / hybrid_int.py |
DateVar._add_bounds |
|
66.7% |
9 |
3 |
0 |
|
66.7% |
6 |
2 |
|
66.7% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.__add__ |
|
91.4% |
35 |
3 |
0 |
|
75.0% |
8 |
2 |
|
88.4% |
| datesat / symbolic_int / hybrid_int.py |
DateVar.__sub__ |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / symbolic_int / hybrid_int.py |
HybridSolver.__init__ |
|
87.5% |
8 |
1 |
0 |
|
50.0% |
2 |
1 |
|
80.0% |
| datesat / symbolic_int / hybrid_int.py |
HybridSolver.add_date_var |
|
75.0% |
12 |
3 |
0 |
|
50.0% |
4 |
2 |
|
68.8% |
| datesat / symbolic_int / hybrid_int.py |
HybridSolver.add_constraint |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / hybrid_int.py |
HybridSolver.check |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / hybrid_int.py |
HybridSolver.model |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / hybrid_int.py |
HybridSolver.get_concrete_dates |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / hybrid_int.py |
HybridSolver.solve |
|
36.8% |
19 |
12 |
0 |
|
40.0% |
10 |
2 |
|
37.9% |
| datesat / symbolic_int / hybrid_int.py |
HybridSolver.to_smt2 |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / hybrid_int.py |
HybridSolver.get_assertions |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / hybrid_int.py |
(no function) |
|
100.0% |
46 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / naive_int.py |
is_leap |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / naive_int.py |
days_in_month |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / naive_int.py |
normalize_month |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / naive_int.py |
eom_clamp |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / naive_int.py |
add_days_componentwise |
|
100.0% |
30 |
0 |
0 |
|
100.0% |
8 |
0 |
|
100.0% |
| datesat / symbolic_int / naive_int.py |
DateVar.__init__ |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / naive_int.py |
DateVar.__str__ |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / naive_int.py |
DateVar.to_concrete_date |
|
100.0% |
4 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / naive_int.py |
DateVar.__ge__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / naive_int.py |
DateVar.__le__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / naive_int.py |
DateVar.__lt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / naive_int.py |
DateVar.__gt__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / naive_int.py |
DateVar.__eq__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / naive_int.py |
DateVar.__ne__ |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / naive_int.py |
DateVar._add_bounds |
|
66.7% |
3 |
1 |
0 |
|
50.0% |
2 |
1 |
|
60.0% |
| datesat / symbolic_int / naive_int.py |
DateVar.__add__ |
|
94.4% |
18 |
1 |
0 |
|
75.0% |
4 |
1 |
|
90.9% |
| datesat / symbolic_int / naive_int.py |
DateVar.__sub__ |
|
75.0% |
4 |
1 |
0 |
|
50.0% |
2 |
1 |
|
66.7% |
| datesat / symbolic_int / naive_int.py |
NaiveSolver.__init__ |
|
87.5% |
8 |
1 |
0 |
|
50.0% |
2 |
1 |
|
80.0% |
| datesat / symbolic_int / naive_int.py |
NaiveSolver.add_date_var |
|
100.0% |
5 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / naive_int.py |
NaiveSolver.add_constraint |
|
100.0% |
2 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / naive_int.py |
NaiveSolver.check |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / naive_int.py |
NaiveSolver.model |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / naive_int.py |
NaiveSolver.get_concrete_dates |
|
100.0% |
1 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |
| datesat / symbolic_int / naive_int.py |
NaiveSolver.solve |
|
43.8% |
16 |
9 |
0 |
|
50.0% |
8 |
2 |
|
45.8% |
| datesat / symbolic_int / naive_int.py |
NaiveSolver.to_smt2 |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / naive_int.py |
NaiveSolver.get_assertions |
|
0.0% |
1 |
1 |
0 |
|
100.0% |
0 |
0 |
|
0.0% |
| datesat / symbolic_int / naive_int.py |
(no function) |
|
100.0% |
34 |
0 |
0 |
|
100.0% |
0 |
0 |
|
100.0% |