| Name | Status | Type | Time(s) |
| testvalid_021_basic_fsm_type | Success | | 3.699 |
| testvalid_021_composite_fsm_type | Success | | 1.677 |
| testvalid_021_finalstates_fsm_type | Success | | 1.621 |
| testvalid_021_fsm_quicktest | Success | | 2.155 |
| testvalid_021_mandstart_fsm_type | Success | | 1.605 |
| testvalid_021_minimization | Success | | 1.821 |
| testvalid_021_multstart_fsm_type | Success | | 1.764 |
| testvalid_022_mt_multiplicity | Success | | 1.557 |
| testvalid_022_mt_multiplicity_valid_tests | Failure | Type mt_multiplicity::m0_1 is not a conformant type binding for the variable MT : mt_multiplicity::m0. Model type 'm0_1' does not match model type 'm0': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 32) Type mt_multiplicity::m0 is not a conformant type binding for the variable MT : mt_multiplicity::m0. Model type 'm0' does not match model type 'm0': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 33) Type mt_multiplicity::m1 is not a conformant type binding for the variable MT : mt_multiplicity::m0. Model type 'm1' does not match model type 'm0': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 34) Type mt_multiplicity::m0_n is not a conformant type binding for the variable MT : mt_multiplicity::m0. Model type 'm0_n' does not match model type 'm0': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 35) Type mt_multiplicity::m0_2 is not a conformant type binding for the variable MT : mt_multiplicity::m0. Model type 'm0_2' does not match model type 'm0': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 36) Type mt_multiplicity::m1_n is not a conformant type binding for the variable MT : mt_multiplicity::m0. Model type 'm1_n' does not match model type 'm0': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 37) Type mt_multiplicity::m1_2 is not a conformant type binding for the variable MT : mt_multiplicity::m0. Model type 'm1_2' does not match model type 'm0': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 38) Type mt_multiplicity::m0_3 is not a conformant type binding for the variable MT : mt_multiplicity::m0. Model type 'm0_3' does not match model type 'm0': ambiguous match for required class 'A'. -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 39)
junit.framework.AssertionFailedError: Type mt_multiplicity::m0_1 is not a conformant type binding for the variable MT : mt_multiplicity::m0.
Model type 'm0_1' does not match model type 'm0': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 32)
Type mt_multiplicity::m0 is not a conformant type binding for the variable MT : mt_multiplicity::m0.
Model type 'm0' does not match model type 'm0': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 33)
Type mt_multiplicity::m1 is not a conformant type binding for the variable MT : mt_multiplicity::m0.
Model type 'm1' does not match model type 'm0': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 34)
Type mt_multiplicity::m0_n is not a conformant type binding for the variable MT : mt_multiplicity::m0.
Model type 'm0_n' does not match model type 'm0': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 35)
Type mt_multiplicity::m0_2 is not a conformant type binding for the variable MT : mt_multiplicity::m0.
Model type 'm0_2' does not match model type 'm0': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 36)
Type mt_multiplicity::m1_n is not a conformant type binding for the variable MT : mt_multiplicity::m0.
Model type 'm1_n' does not match model type 'm0': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 37)
Type mt_multiplicity::m1_2 is not a conformant type binding for the variable MT : mt_multiplicity::m0.
Model type 'm1_2' does not match model type 'm0': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 38)
Type mt_multiplicity::m0_3 is not a conformant type binding for the variable MT : mt_multiplicity::m0.
Model type 'm0_3' does not match model type 'm0': ambiguous match for required class 'A'.
-> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/022_mt_multiplicity_valid_tests.kmt (line 39)
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:341)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_022_mt_multiplicity_valid_tests(JunitTestSuite.java:125)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 1.671 |
| testvalid_023_mt_att_ref | Success | | 1.609 |
| testvalid_023_mt_att_ref_valid_tests | Success | | 1.541 |
| testvalid_024_mt_property_order | Success | | 1.738 |
| testvalid_024_mt_property_order_valid_tests | Success | | 1.576 |
| testvalid_1_ClassSubTyping_1 | Success | | 1.539 |
| testvalid_2_ClassSubTypingWithGenerics | Success | | 1.536 |
| testvalid_AliasAndFunctions | Failure | TYPE-CHECKER : cannot resolve feature toString in type < [Integer, Integer] -> Integer >. -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/AliasAndFunctions.kmt (line 52) TYPE-CHECKER : cannot resolve feature getMetaClass in type < [Integer, Integer] -> Integer >. -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/AliasAndFunctions.kmt (line 53)
junit.framework.AssertionFailedError: TYPE-CHECKER : cannot resolve feature toString in type < [Integer, Integer] -> Integer >.
-> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/AliasAndFunctions.kmt (line 52)
TYPE-CHECKER : cannot resolve feature getMetaClass in type < [Integer, Integer] -> Integer >.
-> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/AliasAndFunctions.kmt (line 53)
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:341)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_AliasAndFunctions(JunitTestSuite.java:153)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 1.557 |
| testvalid_AllocationUsingVariable_Alias | Success | | 1.534 |
| testvalid_basic_fsm_modeltype | Success | | 1.717 |
| testvalid_ClassSubTypingWithGenericOperations | Success | | 1.538 |
| testvalid_Class_new | Success | | 1.542 |
| testvalid_Enum | Success | | 1.535 |
| testvalid_GenericOperationCall | Success | | 1.550 |
| testvalid_GenericsAndFunctions | Success | | 1.729 |
| testvalid_GenericsWithSupertypes | Failure | Type Object is not a conformant type binding for the variable T : tctest::OddEven. -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line 29) Type kermeta::standard::Boolean is not a conformant type binding for the variable T : tctest::OddEven. -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line 32) Type Object is not a conformant type binding for the variable T : tctest::OddEven. -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line 32) Type kermeta::standard::String is not a conformant type binding for the variable T : tctest::OddEven. -> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line 34)
junit.framework.AssertionFailedError: Type Object is not a conformant type binding for the variable T : tctest::OddEven.
-> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line 29)
Type kermeta::standard::Boolean is not a conformant type binding for the variable T : tctest::OddEven.
-> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line 32)
Type Object is not a conformant type binding for the variable T : tctest::OddEven.
-> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line 32)
Type kermeta::standard::String is not a conformant type binding for the variable T : tctest::OddEven.
-> file:/tmp/kermeta_build/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/GenericsWithSupertypes.kmt (line 34)
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:341)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_GenericsWithSupertypes(JunitTestSuite.java:185)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 1.530 |
| testvalid_GenericVisitor | Success | | 1.541 |
| testvalid_ModelTypeOperations | Success | | 1.540 |
| testvalid_ModelTypesTemp | Success | | 1.530 |
| testvalid_ObjectAndVoid | Success | | 1.536 |
| testvalid_SimpleCtrlStructs | Success | | 1.732 |
| testvalid_SimpleFunctions | Success | | 1.543 |
| testvalid_SimpleOperationCall | Success | | 1.537 |
| testvalid_testModelTypesStateMachines | Success | | 1.551 |
| testvalid_test_clone | Success | | 1.529 |
| testvalid_VirtualTypeInheritance | Failure | Unexpected load error : java.lang.ClassCastException fr.irisa.triskell.kermeta.language.structure.impl.VirtualTypeImpl -> file:/tmp/kermeta_build/kermeta_projects/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/kermeta_projects/fr.irisa.triskell.kermeta.io/test/typechecher_tests/valid/VirtualTypeInheritance.kmt
at kermeta_io.typechecker_test.JunitTestSuite.testvalidFile(JunitTestSuite.java:333)
at kermeta_io.typechecker_test.JunitTestSuite.testvalid_VirtualTypeInheritance(JunitTestSuite.java:225)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 1.737 |
| testinvalid_013_kermetaSignature | Success | | 1.627 |
| testinvalid_014_scopevisibility | Success | | 1.520 |
| testinvalid_021_fsm_mustfail | Success | | 1.757 |
| testinvalid_022_mt_multiplicity_invalid_tests | Success | | 1.632 |
| testinvalid_023_mt_att_ref_invalid_tests | Success | | 1.533 |
| testinvalid_024_mt_property_order_invalid_tests | Success | | 1.759 |
| testinvalid_1_ClassSubTyping_1 | Success | | 1.518 |
| testinvalid_2_ClassSubTypingWithGenerics | Success | | 1.523 |
| testinvalid_5_failtestExternPackageCall | Success | | 1.512 |
| testinvalid_ClassSubTypingWithGenericOperations | Success | | 1.529 |
| 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:376)
at kermeta_io.typechecker_test.JunitTestSuite.testinvalid_Class_new(JunitTestSuite.java:269)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
| 1.691 |
| testinvalid_CollectionsAttributeReferenceAssignment | Success | | 1.515 |
| testinvalid_Enum | Success | | 1.520 |
| testinvalid_GenericOperationCall | Success | | 1.522 |
| testinvalid_GenericsAndFunctions | Success | | 1.522 |
| testinvalid_GenericsWithSupertypes | Success | | 1.515 |
| testinvalid_ModelTypeOperations | Success | | 1.723 |
| testinvalid_ObjectAndVoid | Success | | 1.518 |
| testinvalid_SimpleCtrlStructs | Success | | 1.523 |
| testinvalid_SimpleFunctions | Success | | 1.555 |
| testinvalid_SimpleOperationCall | Success | | 1.518 |
| testinvalid_test_clone | Success | | 1.715 |