| Name | Status | Type | Time(s) |
| testvalid_021_basic_fsm_type | Success | | 2.727 |
| testvalid_021_composite_fsm_type | Success | | 0.111 |
| testvalid_021_finalstates_fsm_type | Success | | 0.056 |
| testvalid_021_fsm_quicktest | Success | | 0.471 |
| testvalid_021_mandstart_fsm_type | Success | | 0.053 |
| testvalid_021_minimization | Success | | 0.227 |
| testvalid_021_multstart_fsm_type | Success | | 0.051 |
| testvalid_022_mt_multiplicity | Success | | 0.123 |
| testvalid_022_mt_multiplicity_valid_tests | Failure | Type mt_multiplicity::m0_1T is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm0_1T' does not match model type 'm0T': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2) Type mt_multiplicity::m0T is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm0T' does not match model type 'm0T': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2) Type mt_multiplicity::m1T is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm1T' does not match model type 'm0T': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2) Type mt_multiplicity::m0_nT is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm0_nT' does not match model type 'm0T': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2) Type mt_multiplicity::m0_2T is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm0_2T' does not match model type 'm0T': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2) Type mt_multiplicity::m1_nT is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm1_nT' does not match model type 'm0T': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2) Type mt_multiplicity::m1_2T is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm1_2T' does not match model type 'm0T': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2) Type mt_multiplicity::m0_3T is not a conformant type binding for the variable MT : mt_multiplicity::m0T. Model type 'm0_3T' does not match model type 'm0T': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2)
junit.framework.AssertionFailedError: Type mt_multiplicity::m0_1T is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm0_1T' does not match model type 'm0T': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2)
Type mt_multiplicity::m0T is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm0T' does not match model type 'm0T': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2)
Type mt_multiplicity::m1T is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm1T' does not match model type 'm0T': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2)
Type mt_multiplicity::m0_nT is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm0_nT' does not match model type 'm0T': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2)
Type mt_multiplicity::m0_2T is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm0_2T' does not match model type 'm0T': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2)
Type mt_multiplicity::m1_nT is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm1_nT' does not match model type 'm0T': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2)
Type mt_multiplicity::m1_2T is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm1_2T' does not match model type 'm0T': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2)
Type mt_multiplicity::m0_3T is not a conformant type binding for the variable MT : mt_multiplicity::m0T.
Model type 'm0_3T' does not match model type 'm0T': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line -2)
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:374)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_022_mt_multiplicity_valid_tests(JunitTestSuite.java:102)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 0.176 |
| testvalid_023_mt_att_ref | Success | | 0.054 |
| testvalid_023_mt_att_ref_valid_tests | Success | | 0.056 |
| testvalid_024_mt_property_order | Success | | 0.060 |
| testvalid_024_mt_property_order_valid_tests | Success | | 0.069 |
| testvalid_025_weaving_in_kermeta_aspect1 | Success | | 0.071 |
| testvalid_025_weaving_in_kermeta_aspect8 | Success | | 0.047 |
| testvalid_026_weaving_in_kermeta_mixed_base_aspect | Success | | 0.047 |
| testvalid_027_weaving_in_kermeta_aspect1 | Failure | PASS 3 : Class 'Main' - A class can only inherit once from another. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/027_weaving_in_kermeta_aspect1.kmt
junit.framework.AssertionFailedError: PASS 3 : Class 'Main' - A class can only inherit once from another.
-> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/027_weaving_in_kermeta_aspect1.kmt
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:366)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_027_weaving_in_kermeta_aspect1(JunitTestSuite.java:134)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 0.058 |
| testvalid_027_weaving_in_kermeta_base | Success | | 0.048 |
| testvalid_1_ClassSubTyping_1 | Success | | 0.063 |
| testvalid_2_ClassSubTypingWithGenerics | Success | | 0.052 |
| testvalid_AliasAndFunctions | Success | | 0.071 |
| testvalid_AllocationUsingVariable_Alias | Success | | 0.055 |
| testvalid_basic_fsm_modeltype | Success | | 0.049 |
| testvalid_ClassSubTypingWithGenericOperations | Success | | 0.052 |
| testvalid_Class_new | Success | | 0.047 |
| testvalid_Enum | Success | | 0.095 |
| testvalid_GenericOperationCall | Success | | 0.063 |
| testvalid_GenericsAndFunctions | Success | | 0.083 |
| testvalid_GenericsWithSupertypes | Failure | Type Object is not a conformant type binding for the variable T : tctest::OddEven. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line -2) Type kermeta::standard::Boolean is not a conformant type binding for the variable T : tctest::OddEven. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line -2) Type Object is not a conformant type binding for the variable T : tctest::OddEven. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line -2) Type kermeta::standard::String is not a conformant type binding for the variable T : tctest::OddEven. -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line -2)
junit.framework.AssertionFailedError: Type Object is not a conformant type binding for the variable T : tctest::OddEven.
-> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line -2)
Type kermeta::standard::Boolean is not a conformant type binding for the variable T : tctest::OddEven.
-> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line -2)
Type Object is not a conformant type binding for the variable T : tctest::OddEven.
-> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line -2)
Type kermeta::standard::String is not a conformant type binding for the variable T : tctest::OddEven.
-> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line -2)
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:374)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_GenericsWithSupertypes(JunitTestSuite.java:182)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 0.131 |
| testvalid_GenericVisitor | Success | | 0.054 |
| testvalid_ModelTypeOperations | Success | | 0.097 |
| testvalid_ModelTypesTemp | Success | | 0.109 |
| testvalid_ObjectAndVoid | Success | | 0.072 |
| testvalid_SimpleCtrlStructs | Success | | 0.069 |
| testvalid_SimpleFunctions | Success | | 0.081 |
| testvalid_SimpleOperationCall | Success | | 0.058 |
| testvalid_testModelTypesStateMachines | Success | | 0.068 |
| testvalid_test_clone | Success | | 0.057 |
| testvalid_VirtualTypeInheritance | Failure | Unexpected load error : java.lang.ClassCastException fr.irisa.triskell.kermeta.language.structure.impl.VirtualTypeImpl -> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/VirtualTypeInheritance.kmt
junit.framework.AssertionFailedError: Unexpected load error : java.lang.ClassCastException fr.irisa.triskell.kermeta.language.structure.impl.VirtualTypeImpl
-> file:/tmp/kermeta_build_051/src/plugins/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/VirtualTypeInheritance.kmt
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:366)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_VirtualTypeInheritance(JunitTestSuite.java:222)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 0.124 |
| testinvalid_005_several_superoperations | Success | | 0.083 |
| testinvalid_013_kermetaSignature | Success | | 0.079 |
| testinvalid_014_scopevisibility | Success | | 0.074 |
| testinvalid_021_fsm_mustfail | Success | | 0.190 |
| testinvalid_022_mt_multiplicity_invalid_tests | Success | | 0.160 |
| testinvalid_023_mt_att_ref_invalid_tests | Success | | 0.061 |
| testinvalid_024_mt_property_order_invalid_tests | Success | | 0.076 |
| testinvalid_025_weaving_in_kermeta_aspect1 | Success | | 0.068 |
| testinvalid_025_weaving_in_kermeta_aspect2 | Success | | 0.053 |
| testinvalid_025_weaving_in_kermeta_aspect3 | Success | | 0.059 |
| testinvalid_025_weaving_in_kermeta_aspect4 | Success | | 0.054 |
| testinvalid_025_weaving_in_kermeta_aspect5 | Success | | 0.054 |
| testinvalid_025_weaving_in_kermeta_aspect6 | Success | | 0.059 |
| testinvalid_025_weaving_in_kermeta_aspect7 | Success | | 0.052 |
| testinvalid_025_weaving_in_kermeta_aspect8 | Success | | 0.053 |
| testinvalid_1_ClassSubTyping_1 | Success | | 0.053 |
| testinvalid_2_ClassSubTypingWithGenerics | Success | | 0.070 |
| testinvalid_5_failtestExternPackageCall | Success | | 0.056 |
| testinvalid_ClassSubTypingWithGenericOperations | Success | | 0.052 |
| testinvalid_Class_new | Failure | All operations must have at least one error or warning. Type error not found in operations : test1
junit.framework.AssertionFailedError: All operations must have at least one error or warning. Type error not found in operations : test1
at kermeta_io.typechecker_test.JunitTestSuite.testinvalidFile(JunitTestSuite.java:409)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_Class_new(JunitTestSuite.java:302)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 0.048 |
| testinvalid_CollectionsAttributeReferenceAssignment | Success | | 0.051 |
| testinvalid_Enum | Success | | 0.053 |
| testinvalid_GenericOperationCall | Success | | 0.059 |
| testinvalid_GenericsAndFunctions | Success | | 0.060 |
| testinvalid_GenericsWithSupertypes | Success | | 0.051 |
| testinvalid_ModelTypeOperations | Success | | 0.058 |
| testinvalid_ObjectAndVoid | Success | | 0.050 |
| testinvalid_SimpleCtrlStructs | Success | | 0.054 |
| testinvalid_SimpleFunctions | Success | | 0.109 |
| testinvalid_SimpleOperationCall | Success | | 0.167 |
| testinvalid_test_clone | Success | | 0.058 |