testConversion[0: Test file: /property-constraints/case1/AMALTHEA_Democar_MappingExample.amxmi] | 0.11 sec | Passed |
testConversion[1: Test file: /property-constraints/case2/AMALTHEA_Democar_MappingExample-without-hwmodel.amxmi] | 52 ms | Passed |
verification[0: Test file: /property-constraints/case1/AMALTHEA_Democar_MappingExample.amxmi] | 10 ms | Passed |
verification[1: Test file: /property-constraints/case2/AMALTHEA_Democar_MappingExample-without-hwmodel.amxmi] | 7 ms | Passed |