![[Jenkins]](/ci/static/76d2b316/images/svgs/logo.svg){kind=logo}
Test Result :
12 failures
12 tests
All Tests
| Test name | Duration | Status |
| tests.test_clean_identifier_for_ultimate_parser | 0 ms | Failed |
| tests.test_enums | 0 ms | Failed |
| tests.test_formalization_process | 0 ms | Failed |
| tests.test_hanfor_api_skeleton | 0 ms | Failed |
| tests.test_hanfor_version_migrations | 0 ms | Failed |
| tests.test_init | 0 ms | Failed |
| tests.test_migrations | 0 ms | Failed |
| tests.test_query_api | 0 ms | Failed |
| tests.test_script_evals_object | 0 ms | Failed |
| tests.test_variable_deletion | 0 ms | Failed |
| tests.test_variable_manipulation_edge_cases | 0 ms | Failed |
| tests.test_variable_scripy_evaluation | 0 ms | Failed |