testConversion[0: Test file: /constraints/constraints.amxmi] | 3 ms | Passed |
testConversion[1: Test file: /constraints/targetProcess_callsequence/constraints.amxmi] | 1 ms | Passed |
verification[0: Test file: /constraints/constraints.amxmi] | 1 ms | Passed |
verification[1: Test file: /constraints/targetProcess_callsequence/constraints.amxmi] | 1 ms | Passed |