testConversion[0: Test file: /property-constraints/case1/AMALTHEA_Democar_MappingExample.amxmi] | 0.19 sec | Passed |
testConversion[1: Test file: /property-constraints/case2/AMALTHEA_Democar_MappingExample-without-hwmodel.amxmi] | 31 ms | Passed |
verification[0: Test file: /property-constraints/case1/AMALTHEA_Democar_MappingExample.amxmi] | 42 ms | Passed |
verification[1: Test file: /property-constraints/case2/AMALTHEA_Democar_MappingExample-without-hwmodel.amxmi] | 9 ms | Passed |