Test Result : TestFormalizationProcess
0 failures
4 tests
All Tests
Test name | Duration | Status |
test_adding_new_formalization | 20 ms | Passed |
test_changing_var_in_formalization | 13 ms | Passed |
test_changing_var_name | 45 ms | Passed |
test_deleting_a_formalization | 11 ms | Passed |