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