![[Jenkins]](/ci/static/76d2b316/images/svgs/logo.svg){kind=logo}
Test Result
0 failures
79 tests
All Tests
| Package | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
| tests.test_abs_function | 0.22 sec | 0 | 0 | 12 | +12 | 12 | +12 | ||
| tests.test_boogie_type | 2 ms | 0 | 0 | 2 | +2 | 2 | +2 | ||
| tests.test_clean_identifier_for_ultimate_parser | 4 ms | 0 | 0 | 4 | +4 | 4 | +4 | ||
| tests.test_consistent_parsing | 1.9 sec | 0 | 0 | 1 | +1 | 1 | +1 | ||
| tests.test_consistent_parsing_minimal_failing_example | 1.8 sec | 0 | 0 | 1 | +1 | 1 | +1 | ||
| tests.test_enums | 0.24 sec | 0 | 0 | 10 | +10 | 10 | +10 | ||
| tests.test_formalization_process | 89 ms | 0 | 0 | 4 | +4 | 4 | +4 | ||
| tests.test_hanfor_api_skeleton | 10 ms | 0 | 0 | 1 | +1 | 1 | +1 | ||
| tests.test_hanfor_version_migrations | 0.32 sec | 0 | 0 | 8 | +8 | 8 | +8 | ||
| tests.test_init | 19 ms | 0 | 0 | 2 | +2 | 2 | +2 | ||
| tests.test_migrations | 46 ms | 0 | 0 | 2 | +2 | 2 | +2 | ||
| tests.test_parse_expressions | 0.77 sec | 0 | 0 | 5 | +5 | 5 | +5 | ||
| tests.test_query_api | 34 ms | 0 | 0 | 1 | +1 | 1 | +1 | ||
| tests.test_replace_var_in_expression | 0.1 sec | 0 | 0 | 1 | +1 | 1 | +1 | ||
| tests.test_script_evals_object | 3 ms | 0 | 0 | 4 | +4 | 4 | +4 | ||
| tests.test_type_inference | 17 ms | 0 | 0 | 16 | +16 | 16 | +16 | ||
| tests.test_variable_deletion | 34 ms | 0 | 0 | 3 | +3 | 3 | +3 | ||
| tests.test_variable_manipulation_edge_cases | 16 ms | 0 | 0 | 1 | +1 | 1 | +1 | ||
| tests.test_variable_scripy_evaluation | 2 sec | 0 | 0 | 1 | +1 | 1 | +1 |