Test Result : TestFormalizationProcess

0 failures
4 tests
Took 89 ms.

All Tests

Test nameDurationStatus
test_adding_new_formalization20 msPassed
test_changing_var_in_formalization13 msPassed
test_changing_var_name45 msPassed
test_deleting_a_formalization11 msPassed