FailedCustom Console Output

Skipping 995 KB.. Full Log
inferredType~0: arrays can be initialized with literals(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#errors~1(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#inferredType~1: Array elements can be accessed with square brackets(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#inferredType~2: arrays can be initialized with literals(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#errors~2: slices on the left are forbidden(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#errors~3(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#inferredType~3: Array elements can be accessed with square brackets(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#inferredType~4: arrays can be initialized with literals(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#errors~4: slices on the left are forbidden(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#errors~5(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#errors~6(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#errors~7(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#errors~8(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.003 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#errors~9(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#errors~10(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#errors~11(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#noCompileErrors~1(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 2.038 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#warnings~0(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#infos~1(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#noCompileErrors~2(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 2.115 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#warnings~1(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.003 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#noCompileErrors~3(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 13.826 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#infos~2(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/arrays/ArraysTestErrors.mita.xt#errors~12(org.eclipse.mita.program.tests.arrays.ArraysTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/structs/StructuresTest.mita.xt#errors~0(org.eclipse.mita.program.tests.structs.StructuresTest)  Time elapsed: 0.003 sec
src/org/eclipse/mita/program/tests/structs/StructuresTest.mita.xt#errors~1(org.eclipse.mita.program.tests.structs.StructuresTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/structs/StructuresTest.mita.xt#errors~2(org.eclipse.mita.program.tests.structs.StructuresTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/structs/StructuresTest.mita.xt#errors~3(org.eclipse.mita.program.tests.structs.StructuresTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/structs/StructuresTest.mita.xt#errors~4(org.eclipse.mita.program.tests.structs.StructuresTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/structs/StructuresTest.mita.xt#errors~5(org.eclipse.mita.program.tests.structs.StructuresTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/structs/StructuresTest.mita.xt#errors~6(org.eclipse.mita.program.tests.structs.StructuresTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~0(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~1(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#noCompileErrors~0: Some system resources can be named(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 2.233 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~0(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~1(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~2(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~3(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~4(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~5(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~6(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~2(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~3(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~4(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~5(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~7(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~6(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~7(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~8(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~8(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~9(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~10(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~9(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~11(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~10(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~12(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~11(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~13(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~12(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~14(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~13(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#noCompileErrors~1: Some system resources can exist multiple times.(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 1.979 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~15(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#scope~0(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.026 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~14(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~16(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#scope~1(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~15(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~16(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~17(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~18(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~19(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#noCompileErrors~2: Connectivity resources have configuration items and slots(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 2.679 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#infos~17(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#vciParameters~0: We do not expect an error as p02 is optional(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.003 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#vciParameters~1: We can explicitly set p02(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~20(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#vciParameters~2(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#vciParameters~3(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTest.mita.xt#errors~21(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~0(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~1(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#noCompileErrors~0: Some system resources can be named(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 2.185 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~0(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.003 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~1(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~2(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~3(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~4(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~5(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~6(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~2(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~3(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~4(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~5(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~7(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~6(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~7(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~8(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~8(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~9(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~10(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~9(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~11(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~10(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~12(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~11(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~13(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~12(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~14(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~13(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#noCompileErrors~1: Some system resources can exist multiple times.(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 1.939 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~15(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#scope~0(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.004 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~14(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~16(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#scope~1(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~15(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~16(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~17(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~18(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~19(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#noCompileErrors~2: Connectivity resources have configuration items and slots(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 2.119 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~17(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.005 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~20(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~21(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~18(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~22(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#infos~19(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#vciParameters~0: We do not expect an error as p02 is optional(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#vciParameters~1: We can explicitly set p02(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~23(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~24(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#vciParameters~2(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#vciParameters~3(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/setup/SetupTestErrors.mita.xt#errors~25(org.eclipse.mita.program.tests.setup.SetupTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/events/EventHandlingTest.mita.xt#noCompileErrors~0: System resources and time define events. All events can be handled using the every keyword.(org.eclipse.mita.program.tests.events.EventHandlingTest)  Time elapsed: 2.038 sec
src/org/eclipse/mita/program/tests/events/EventHandlingTest.mita.xt#noCompileErrors~1(org.eclipse.mita.program.tests.events.EventHandlingTest)  Time elapsed: 2.064 sec
src/org/eclipse/mita/program/tests/events/EventHandlingTest.mita.xt#noCompileErrors~2: In the platform we have deliberately named a sensor instance vci01 to check for linker errors(org.eclipse.mita.program.tests.events.EventHandlingTest)  Time elapsed: 2.412 sec
src/org/eclipse/mita/program/tests/events/EventHandlingTest.mita.xt#noCompileErrors~3(org.eclipse.mita.program.tests.events.EventHandlingTest)  Time elapsed: 2.699 sec
src/org/eclipse/mita/program/tests/events/EventHandlingTest.mita.xt#inferredType~0(org.eclipse.mita.program.tests.events.EventHandlingTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/events/EventHandlingTest.mita.xt#noCompileErrors~4(org.eclipse.mita.program.tests.events.EventHandlingTest)  Time elapsed: 2.162 sec
src/org/eclipse/mita/program/tests/events/EventHandlingTest.mita.xt#inferredType~1(org.eclipse.mita.program.tests.events.EventHandlingTest)  Time elapsed: 0.004 sec
src/org/eclipse/mita/program/tests/events/EventHandlingTest.mita.xt#noCompileErrors~5(org.eclipse.mita.program.tests.events.EventHandlingTest)  Time elapsed: 2.586 sec
src/org/eclipse/mita/program/tests/events/EventHandlingTest.mita.xt#inferredType~2(org.eclipse.mita.program.tests.events.EventHandlingTest)  Time elapsed: 0.006 sec
src/org/eclipse/mita/program/tests/packages/PackagesTest.mita.xt#errors~0(org.eclipse.mita.program.tests.packages.PackagesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/packages/PackagesTest.mita.xt#errors~1(org.eclipse.mita.program.tests.packages.PackagesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/packages/PackagesTest.mita.xt#errors~2(org.eclipse.mita.program.tests.packages.PackagesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/packages/PackagesTest.mita.xt#errors~3(org.eclipse.mita.program.tests.packages.PackagesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/packages/PackagesTest.mita.xt#errors~4(org.eclipse.mita.program.tests.packages.PackagesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~0(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~1(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~2(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~3(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~4(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~5(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~6(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~7(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~8(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~9(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~10(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~11(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~12(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~13(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~14(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~15(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~16(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~17(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~18(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~19(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~20(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~21(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~22(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~23(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/IntegerConversions.mita.xt#errors~24(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~0(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~1(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~2(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~3(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~4(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~5(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~6(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~7(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~8(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~9(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~10(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~11(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~12(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~13(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~14(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~15(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~16(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~17(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~18(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~19(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~20(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~21(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~22(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~23(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~24(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrence.mita.xt#inferredType~25(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/sizeTypeErrors.mita.xt#errors~0(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/sizeTypeErrors.mita.xt#warnings~0(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/sizeTypeErrors.mita.xt#errors~1(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
sizeTypes.mita.xt: src/org/eclipse/mita/program/tests/types  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#inferredType~0(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#inferredType~1(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#inferredType~2(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#warnings~0(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#errors~0(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#inferredType~3(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#inferredType~4(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#warnings~1(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#errors~1(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#infos~0(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#infos~1(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#errors~2(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#errors~3(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#errors~4(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#errors~5(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystem.mita.xt#infos~2(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#inferredType~0(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#inferredType~1(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#inferredType~2(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#warnings~0(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#inferredType~3(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#inferredType~4(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#warnings~1(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#infos~0(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#errors~0: this happens because later on we compare (f == g), where g is a string.(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#infos~1(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#errors~1(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#errors~2(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#errors~3(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#infos~2(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#errors~4(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#errors~5(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#errors~6(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/typesystemErrors.mita.xt#errors~7(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~0(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~1(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~2(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~3(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~4(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~5(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~6(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~7(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~8(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~9(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~10(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~11(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~12(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~13(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~14(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~15(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~16(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~17(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~18(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~19(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~20(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~21(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~22(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~23(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~24(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#inferredType~25(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/types/VariableTypeInferrenceErrors.mita.xt#errors~0(org.eclipse.mita.program.tests.types.TypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#warnings~0(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~0(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~1(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~2(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~3(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~4(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~5(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~6(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~7(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0.017 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~8(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~9(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~10(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~11(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~12(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~13(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~14(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~15(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~16(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~17(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~18(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/sumtypes/SumTypesTest.mita.xt#errors~19: types are checked(org.eclipse.mita.program.tests.sumtypes.SumTypesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~0(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~1(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~2(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~3(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~4(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~5(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~6(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~7(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~8(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~9(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~10(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~11(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~12(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~13(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~14(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~15(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~16(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~17(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~18(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~19(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~20(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~21(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~22(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~23(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~24(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~25(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~26(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~27(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~28(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~29(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~30(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~31(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~32(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~33(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~34(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~35(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~36(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~37(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~38(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~39(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~40(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#inferredType~0(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#inferredType~1(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#inferredType~2(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~41(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~42(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~43: right now, this includes all things other than ints.(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#warnings~0(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~44(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~45: Then here we try to unify &a :: ref<uint32> and ref<ref<t>>(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#inferredType~3(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#inferredType~4(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#inferredType~5(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#inferredType~6(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#inferredType~7(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#inferredType~8(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#inferredType~9(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~46: you can't ref function results(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~47(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/references/ReferencesTest.mita.xt#errors~48(org.eclipse.mita.program.tests.references.ReferencesTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTest.mita.xt#infos~0(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTest.mita.xt#errors~0(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTest.mita.xt#errors~1(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTest.mita.xt#warnings~0(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTest.mita.xt#errors~2(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTest.mita.xt#inferredType~0(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTest.mita.xt#inferredType~1(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTest.mita.xt#inferredType~2(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTest.mita.xt#inferredType~3(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTest.mita.xt#inferredType~4(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTestErrors.mita.xt#infos~0(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTestErrors.mita.xt#errors~0(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTestErrors.mita.xt#errors~1(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTestErrors.mita.xt#warnings~0(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTestErrors.mita.xt#errors~2(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTestErrors.mita.xt#errors~3(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.002 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTestErrors.mita.xt#inferredType~0(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTestErrors.mita.xt#inferredType~1(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTestErrors.mita.xt#inferredType~2(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTestErrors.mita.xt#inferredType~3(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTestErrors.mita.xt#errors~4(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTestErrors.mita.xt#inferredType~4(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/signalinstance/SignalInstanceTestErrors.mita.xt#errors~5(org.eclipse.mita.program.tests.signalinstance.SignalInstanceTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/modality/ModalityTest.mita.xt#errors~0(org.eclipse.mita.program.tests.modality.ModalityTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/modality/ModalityTest.mita.xt#errors~1(org.eclipse.mita.program.tests.modality.ModalityTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/modality/ModalityTest.mita.xt#warnings~0(org.eclipse.mita.program.tests.modality.ModalityTest)  Time elapsed: 0 sec
src/org/eclipse/mita/program/tests/modality/ModalityTest.mita.xt#errors~2(org.eclipse.mita.program.tests.modality.ModalityTest)  Time elapsed: 0.001 sec
src/org/eclipse/mita/program/tests/modality/ModalityTest.mita.xt#noCompileErrors~0(org.eclipse.mita.program.tests.modality.ModalityTest)  Time elapsed: 2.32 sec
src/org/eclipse/mita/program/tests/modality/ModalityTest.mita.xt#inferredType~0(org.eclipse.mita.program.tests.modality.ModalityTest)  Time elapsed: 0.006 sec
src/org/eclipse/mita/program/tests/modality/ModalityTest.mita.xt#inferredType~1(org.eclipse.mita.program.tests.modality.ModalityTest)  Time elapsed: 0.001 sec
Running org.eclipse.mita.program.runtime.tests.AllTests
compiling mita project...
java, -cp, /jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../org.eclipse.mita.cli/target/org.eclipse.mita.cli-0.2.0-SNAPSHOT-cli.jar:/jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../../platforms/org.eclipse.mita.platform.x86/target/org.eclipse.mita.platform.x86-0.2.0-SNAPSHOT.jar, org.eclipse.mita.cli.Main, compile, -p, /tmp/genie.mita/arraysTest6803109105061622765

Picked up JAVA_TOOL_OPTIONS: -Xmx2G -Djava.io.tmpdir=/tmp/genie.mita
Warning: mita CLI tooling is still experimental. Here be dragons.
Loading classpath:/lib/1.0.0/stdlib_optionals.mita
Loading classpath:/lib/1.0.0/stdlib_print.mita
Loading classpath:/lib/1.0.0/stdlib_references.mita
Loading classpath:/lib/1.0.0/stdlib_types.mita
Loading classpath:/lib/1.0.0/stdlib_iterables.mita
Loading classpath:/1.0.0/x86.platform
Computing constraints stdlib_types.mita (rss 1885927370)
Computing constraints stdlib_optionals.mita (rss 1885927370)
Computing constraints stdlib_print.mita (rss 1885927370)
Computing constraints stdlib_references.mita (rss 1885927370)
Computing constraints stdlib_iterables.mita (rss 1885927370)
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 38 ms
deserialize: 122 ms
combine: 9 ms
proxies: 242 ms
solve: 200 ms
size-inference: 1 ms
Computing constraints application.mita (rss 876695548)
Computing constraints stdlib_types.mita (rss 713765818)
Computing constraints stdlib_optionals.mita (rss 713765818)
Computing constraints stdlib_print.mita (rss 713765818)
Computing constraints stdlib_references.mita (rss 713765818)
Computing constraints stdlib_iterables.mita (rss 713765818)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"[")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@9687f55 (text: null))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»", ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"]")
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»1, prim»i»2, prim»i»3, prim»i»4])
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»5 as int8, prim»i»6, prim»i»7])
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»10, prim»i»11, prim»i»12, prim»i»13, prim»i»14, prim»i»15])
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»1, prim»i»2, prim»i»3, prim»i»4])
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»1, prim»i»2, prim»i»3, prim»i»4])
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»5 as int8, prim»i»6, prim»i»7])
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»10, prim»i»11, prim»i»12, prim»i»13, prim»i»14, prim»i»15])
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»1, prim»i»2, prim»i»3, prim»i»4])
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"error a0")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"error a2")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"error a4")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"error a6")
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
report for:application.mita
resourceDescriptions: 19 ms
deserialize: 54 ms
combine: 3 ms
proxies: 89 ms
solve: 608 ms
size-inference: 149 ms
Computing constraints stdlib_types.mita (rss 1739111611)
Computing constraints stdlib_optionals.mita (rss 1739111611)
Computing constraints stdlib_print.mita (rss 1739111611)
Computing constraints stdlib_references.mita (rss 1739111611)
Computing constraints stdlib_iterables.mita (rss 1739111611)
Computing constraints application.mita (rss 640093047)
----------------------
Introducing is ok for a bit.
Computing constraints application.mita (rss 640093047)
introducing classpath:/lib/1.0.0/stdlib_references.mita#reference_1!
introducing classpath:/lib/1.0.0/stdlib_types.mita#string_14!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#array_1!
introducing classpath:/lib/1.0.0/stdlib_types.mita#uint32_7!
introducing classpath:/lib/1.0.0/stdlib_types.mita#bool_10!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___23!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___24!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___25!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___26!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___27!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___28!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___29!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___30!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___31!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___32!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___33!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___34!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#__PLUS___7!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#__PLUS___15!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.0!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.2!
introducing classpath:/lib/1.0.0/stdlib_print.mita#//@functionDefinitions.0!
introducing classpath:/lib/1.0.0/stdlib_print.mita#//@functionDefinitions.1!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@types.0/@constructor!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___35!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___36!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___37!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___38!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___39!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___40!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___41!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___42!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___43!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___44!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___45!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___95!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___96!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___97!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___98!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___99!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___100!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___101!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___102!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___103!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___104!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___105!
Introducing is no longer ok!
----------------------
Computing constraints application.mita (rss 644323208)
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@41be8db9)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@46524ebe)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@4cb4c4cc)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@2c2a7d53)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@4a122e68)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@72f3f14c)
report for:stdlib_iterables.mita
resourceDescriptions: 2 ms
deserialize: 25 ms
combine: 1 ms
proxies: 22 ms
solve: 87 ms
size-inference: 48 ms
Computing constraints application.mita (rss 644323208)
Computing constraints stdlib_iterables.mita (rss 644323208)
Computing constraints stdlib_optionals.mita (rss 644323208)
Computing constraints stdlib_print.mita (rss 644323208)
Computing constraints stdlib_references.mita (rss 644323208)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"[")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@20a9f5fb (text: null))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»", ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"]")
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»1, prim»i»2, prim»i»3, prim»i»4])
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»5 as int8, prim»i»6, prim»i»7])
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»10, prim»i»11, prim»i»12, prim»i»13, prim»i»14, prim»i»15])
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»1, prim»i»2, prim»i»3, prim»i»4])
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»1, prim»i»2, prim»i»3, prim»i»4])
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»5 as int8, prim»i»6, prim»i»7])
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»10, prim»i»11, prim»i»12, prim»i»13, prim»i»14, prim»i»15])
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»1, prim»i»2, prim»i»3, prim»i»4])
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"error a0")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"error a2")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"error a4")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"error a6")
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
report for:application.mita
resourceDescriptions: 23 ms
deserialize: 45 ms
combine: 2 ms
proxies: 72 ms
solve: 286 ms
size-inference: 76 ms
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 2 ms
deserialize: 16 ms
combine: 1 ms
proxies: 18 ms
solve: 57 ms
size-inference: 0 ms
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@1ee5632d)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@563ccd31)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@1a2ac487)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@52a7928a)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@570a62a5)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@36224f93)
report for:stdlib_iterables.mita
resourceDescriptions: 1 ms
deserialize: 18 ms
combine: 0 ms
proxies: 18 ms
solve: 91 ms
size-inference: 27 ms
solve timing (stdlib_print.mita):

report for:stdlib_print.mita
resourceDescriptions: 0 ms
deserialize: 22 ms
combine: 1 ms
proxies: 16 ms
solve: 88 ms
size-inference: 6 ms
compiling C project...
make, -C, /tmp/genie.mita/arraysTest6803109105061622765/src-gen, all

make: Entering directory '/tmp/genie.mita/arraysTest6803109105061622765/src-gen'
mkdir -p ./build
gcc -Wall -std=c99 -D_POSIX_C_SOURCE=199309L -D_DEFAULT_SOURCE -g -I. -I./base -I../include -o./build/app ./main.c ./base/MitaTime.c ./base/PlatformX86.c ./application.c ./base/MitaGeneratedTypes.c -L../lib 
./application.c: In function ‘HandleEveryx86Startup_1_worker’:
./application.c:49:2: warning: statement with no effect [-Wunused-value]
  expressionStatementRefPop_ringbuffer_T_S_5;
  ^
./application.c:53:15: warning: unused variable ‘ar’ [-Wunused-variable]
  array_int8_t ar = (array_int8_t) {
               ^
./application.c: In function ‘HandleEveryx86Startup_1’:
./application.c:186:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery1Second_1_worker’:
./application.c:193:11: warning: unused variable ‘exception’ [-Wunused-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery1Second_1’:
./application.c:203:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
make: Leaving directory '/tmp/genie.mita/arraysTest6803109105061622765/src-gen'
running exe...
/tmp/genie.mita/arraysTest6803109105061622765/src-gen/build/app

compiling mita project...
java, -cp, /jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../org.eclipse.mita.cli/target/org.eclipse.mita.cli-0.2.0-SNAPSHOT-cli.jar:/jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../../platforms/org.eclipse.mita.platform.x86/target/org.eclipse.mita.platform.x86-0.2.0-SNAPSHOT.jar, org.eclipse.mita.cli.Main, compile, -p, /tmp/genie.mita/controlflowTest7868954931267131270

Picked up JAVA_TOOL_OPTIONS: -Xmx2G -Djava.io.tmpdir=/tmp/genie.mita
Warning: mita CLI tooling is still experimental. Here be dragons.
Loading classpath:/lib/1.0.0/stdlib_optionals.mita
Loading classpath:/lib/1.0.0/stdlib_print.mita
Loading classpath:/lib/1.0.0/stdlib_references.mita
Loading classpath:/lib/1.0.0/stdlib_types.mita
Loading classpath:/lib/1.0.0/stdlib_iterables.mita
Loading classpath:/1.0.0/x86.platform
Computing constraints stdlib_types.mita (rss 1885927370)
Computing constraints stdlib_optionals.mita (rss 1885927370)
Computing constraints stdlib_print.mita (rss 1885927370)
Computing constraints stdlib_references.mita (rss 1885927370)
Computing constraints stdlib_iterables.mita (rss 1885927370)
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 28 ms
deserialize: 95 ms
combine: 5 ms
proxies: 185 ms
solve: 263 ms
size-inference: 0 ms
Computing constraints application.mita (rss 1417854124)
Computing constraints stdlib_types.mita (rss 1917071489)
Computing constraints stdlib_optionals.mita (rss 1917071489)
Computing constraints stdlib_print.mita (rss 1917071489)
Computing constraints stdlib_references.mita (rss 1917071489)
Computing constraints stdlib_iterables.mita (rss 1917071489)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"1")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"2")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»" ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»" ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»" ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»" ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»" ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"")
report for:application.mita
resourceDescriptions: 15 ms
deserialize: 35 ms
combine: 1 ms
proxies: 55 ms
solve: 167 ms
size-inference: 33 ms
Computing constraints stdlib_types.mita (rss 528372433)
Computing constraints stdlib_optionals.mita (rss 528372433)
Computing constraints stdlib_print.mita (rss 528372433)
Computing constraints stdlib_references.mita (rss 528372433)
Computing constraints stdlib_iterables.mita (rss 528372433)
Computing constraints application.mita (rss 1576141372)
----------------------
Introducing is ok for a bit.
Computing constraints application.mita (rss 1576141372)
introducing classpath:/lib/1.0.0/stdlib_references.mita#reference_1!
introducing classpath:/lib/1.0.0/stdlib_types.mita#string_14!
introducing classpath:/lib/1.0.0/stdlib_print.mita#//@functionDefinitions.0!
introducing classpath:/lib/1.0.0/stdlib_print.mita#//@functionDefinitions.1!
Introducing is no longer ok!
----------------------
Computing constraints application.mita (rss 424974506)
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@6ba060af)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@1584c019)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@5817f1ca)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@4fe2dd02)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@3688baab)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@16b64a03)
report for:stdlib_iterables.mita
resourceDescriptions: 3 ms
deserialize: 32 ms
combine: 1 ms
proxies: 27 ms
solve: 82 ms
size-inference: 58 ms
Computing constraints application.mita (rss 424974506)
PCF: computeConstraints is not implemented for LogicalNotExpression
PCF: computeConstraints is not implemented for LogicalNotExpression
PCF: computeConstraints is not implemented for LogicalNotExpression
Computing constraints stdlib_iterables.mita (rss 424974506)
Computing constraints stdlib_optionals.mita (rss 424974506)
Computing constraints stdlib_print.mita (rss 424974506)
Computing constraints stdlib_references.mita (rss 424974506)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"1")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"2")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»" ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»" ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»" ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»" ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»" ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"")
report for:application.mita
resourceDescriptions: 17 ms
deserialize: 48 ms
combine: 1 ms
proxies: 107 ms
solve: 134 ms
size-inference: 20 ms
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 1 ms
deserialize: 32 ms
combine: 1 ms
proxies: 28 ms
solve: 66 ms
size-inference: 0 ms
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@4b87760e)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@5df6163a)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@1b24ea2a)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@2df65a56)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@be164d8)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@2d313c8c)
report for:stdlib_iterables.mita
resourceDescriptions: 1 ms
deserialize: 36 ms
combine: 1 ms
proxies: 20 ms
solve: 65 ms
size-inference: 26 ms
solve timing (stdlib_print.mita):

report for:stdlib_print.mita
resourceDescriptions: 1 ms
deserialize: 25 ms
combine: 1 ms
proxies: 17 ms
solve: 67 ms
size-inference: 5 ms
compiling C project...
make, -C, /tmp/genie.mita/controlflowTest7868954931267131270/src-gen, all

make: Entering directory '/tmp/genie.mita/controlflowTest7868954931267131270/src-gen'
mkdir -p ./build
gcc -Wall -std=c99 -D_POSIX_C_SOURCE=199309L -D_DEFAULT_SOURCE -g -I. -I./base -I../include -o./build/app ./main.c ./base/MitaTime.c ./base/PlatformX86.c ./application.c ./base/MitaGeneratedTypes.c -L../lib 
./application.c: In function ‘HandleEveryx86Startup_1_worker’:
./application.c:48:2: warning: statement with no effect [-Wunused-value]
  expressionStatementRefPop_ringbuffer_T_S_5;
  ^
./application.c:126:7: warning: unused variable ‘d’ [-Wunused-variable]
  bool d = conditionalExpressionRefF_64 ? conditionalExpressionRefG_65 : false;
       ^
./application.c:114:7: warning: unused variable ‘c’ [-Wunused-variable]
  bool c = conditionalExpressionRefF_52 ? true : conditionalExpressionRefG_55;
       ^
./application.c: In function ‘HandleEveryx86Startup_1’:
./application.c:135:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery1Second_1_worker’:
./application.c:142:11: warning: unused variable ‘exception’ [-Wunused-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery1Second_1’:
./application.c:150:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
make: Leaving directory '/tmp/genie.mita/controlflowTest7868954931267131270/src-gen'
running exe...
/tmp/genie.mita/controlflowTest7868954931267131270/src-gen/build/app

compiling mita project...
java, -cp, /jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../org.eclipse.mita.cli/target/org.eclipse.mita.cli-0.2.0-SNAPSHOT-cli.jar:/jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../../platforms/org.eclipse.mita.platform.x86/target/org.eclipse.mita.platform.x86-0.2.0-SNAPSHOT.jar, org.eclipse.mita.cli.Main, compile, -p, /tmp/genie.mita/epochTimeTest945485091782562212

Picked up JAVA_TOOL_OPTIONS: -Xmx2G -Djava.io.tmpdir=/tmp/genie.mita
Warning: mita CLI tooling is still experimental. Here be dragons.
Loading classpath:/lib/1.0.0/stdlib_optionals.mita
Loading classpath:/lib/1.0.0/stdlib_print.mita
Loading classpath:/lib/1.0.0/stdlib_references.mita
Loading classpath:/lib/1.0.0/stdlib_types.mita
Loading classpath:/lib/1.0.0/stdlib_iterables.mita
Loading classpath:/1.0.0/x86.platform
Computing constraints stdlib_types.mita (rss 1885927370)
Computing constraints stdlib_optionals.mita (rss 1885927370)
Computing constraints stdlib_print.mita (rss 1885927370)
Computing constraints stdlib_references.mita (rss 1885927370)
Computing constraints stdlib_iterables.mita (rss 1885927370)
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 45 ms
deserialize: 142 ms
combine: 9 ms
proxies: 224 ms
solve: 191 ms
size-inference: 0 ms
Computing constraints application.mita (rss 497104907)
Computing constraints stdlib_types.mita (rss 1560243060)
Computing constraints stdlib_optionals.mita (rss 1560243060)
Computing constraints stdlib_print.mita (rss 1560243060)
Computing constraints stdlib_references.mita (rss 1560243060)
Computing constraints stdlib_iterables.mita (rss 1560243060)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@6393bf8b (text: null))
report for:application.mita
resourceDescriptions: 22 ms
deserialize: 40 ms
combine: 2 ms
proxies: 45 ms
solve: 113 ms
size-inference: 26 ms
Computing constraints stdlib_types.mita (rss 184667021)
Computing constraints stdlib_optionals.mita (rss 184667021)
Computing constraints stdlib_print.mita (rss 184667021)
Computing constraints stdlib_references.mita (rss 184667021)
Computing constraints stdlib_iterables.mita (rss 184667021)
Computing constraints application.mita (rss 817896503)
----------------------
Introducing is ok for a bit.
Computing constraints application.mita (rss 817896503)
introducing classpath:/lib/1.0.0/stdlib_types.mita#string_14!
introducing classpath:/lib/1.0.0/stdlib_print.mita#//@functionDefinitions.1!
Introducing is no longer ok!
----------------------
Computing constraints application.mita (rss 495708089)
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@16ea0f22)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@6903ed0e)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@e154848)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@79f1e22e)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@67afe909)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@60fc7f43)
report for:stdlib_iterables.mita
resourceDescriptions: 5 ms
deserialize: 43 ms
combine: 1 ms
proxies: 32 ms
solve: 95 ms
size-inference: 54 ms
Computing constraints application.mita (rss 495708089)
Computing constraints stdlib_iterables.mita (rss 495708089)
Computing constraints stdlib_optionals.mita (rss 495708089)
Computing constraints stdlib_print.mita (rss 495708089)
Computing constraints stdlib_references.mita (rss 495708089)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@4948daec (text: null))
report for:application.mita
resourceDescriptions: 7 ms
deserialize: 47 ms
combine: 1 ms
proxies: 61 ms
solve: 146 ms
size-inference: 12 ms
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 3 ms
deserialize: 37 ms
combine: 1 ms
proxies: 20 ms
solve: 82 ms
size-inference: 0 ms
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@79957f11)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@217235f5)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@6b8d54da)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@2dd1086)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@4aebee4b)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@4b41587d)
report for:stdlib_iterables.mita
resourceDescriptions: 1 ms
deserialize: 22 ms
combine: 1 ms
proxies: 20 ms
solve: 101 ms
size-inference: 36 ms
solve timing (stdlib_print.mita):

report for:stdlib_print.mita
resourceDescriptions: 1 ms
deserialize: 29 ms
combine: 0 ms
proxies: 19 ms
solve: 82 ms
size-inference: 12 ms
compiling C project...
make, -C, /tmp/genie.mita/epochTimeTest945485091782562212/src-gen, all

make: Entering directory '/tmp/genie.mita/epochTimeTest945485091782562212/src-gen'
mkdir -p ./build
gcc -Wall -std=c99 -D_POSIX_C_SOURCE=199309L -D_DEFAULT_SOURCE -g -I. -I./base -I../include -o./build/app ./main.c ./base/MitaTime.c ./base/PlatformX86.c ./application.c ./base/MitaGeneratedTypes.c -L../lib 
./application.c: In function ‘HandleEveryx86Startup_1’:
./application.c:56:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery1Second_1_worker’:
./application.c:63:11: warning: unused variable ‘exception’ [-Wunused-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery1Second_1’:
./application.c:73:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
make: Leaving directory '/tmp/genie.mita/epochTimeTest945485091782562212/src-gen'
running exe...
/tmp/genie.mita/epochTimeTest945485091782562212/src-gen/build/app

java: 1574675070694, testling: -1577927944
compiling mita project...
java, -cp, /jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../org.eclipse.mita.cli/target/org.eclipse.mita.cli-0.2.0-SNAPSHOT-cli.jar:/jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../../platforms/org.eclipse.mita.platform.x86/target/org.eclipse.mita.platform.x86-0.2.0-SNAPSHOT.jar, org.eclipse.mita.cli.Main, compile, -p, /tmp/genie.mita/helloWorldTest7251226722796658577

Picked up JAVA_TOOL_OPTIONS: -Xmx2G -Djava.io.tmpdir=/tmp/genie.mita
Warning: mita CLI tooling is still experimental. Here be dragons.
Loading classpath:/lib/1.0.0/stdlib_optionals.mita
Loading classpath:/lib/1.0.0/stdlib_print.mita
Loading classpath:/lib/1.0.0/stdlib_references.mita
Loading classpath:/lib/1.0.0/stdlib_types.mita
Loading classpath:/lib/1.0.0/stdlib_iterables.mita
Loading classpath:/1.0.0/x86.platform
Computing constraints stdlib_types.mita (rss 1885927370)
Computing constraints stdlib_optionals.mita (rss 1885927370)
Computing constraints stdlib_print.mita (rss 1885927370)
Computing constraints stdlib_references.mita (rss 1885927370)
Computing constraints stdlib_iterables.mita (rss 1885927370)
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 47 ms
deserialize: 107 ms
combine: 6 ms
proxies: 239 ms
solve: 227 ms
size-inference: 1 ms
Computing constraints application.mita (rss 1993836574)
Computing constraints stdlib_types.mita (rss 970900790)
Computing constraints stdlib_optionals.mita (rss 970900790)
Computing constraints stdlib_print.mita (rss 970900790)
Computing constraints stdlib_references.mita (rss 970900790)
Computing constraints stdlib_iterables.mita (rss 970900790)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"Startup!")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@7412a438 (text: [Hello, World, !]))
report for:application.mita
resourceDescriptions: 18 ms
deserialize: 53 ms
combine: 2 ms
proxies: 48 ms
solve: 200 ms
size-inference: 28 ms
Computing constraints stdlib_types.mita (rss 371037638)
Computing constraints stdlib_optionals.mita (rss 371037638)
Computing constraints stdlib_print.mita (rss 371037638)
Computing constraints stdlib_references.mita (rss 371037638)
Computing constraints stdlib_iterables.mita (rss 371037638)
Computing constraints application.mita (rss 1156260946)
----------------------
Introducing is ok for a bit.
Computing constraints application.mita (rss 1156260946)
introducing classpath:/lib/1.0.0/stdlib_types.mita#string_14!
introducing classpath:/lib/1.0.0/stdlib_types.mita#bool_10!
introducing classpath:/lib/1.0.0/stdlib_print.mita#//@functionDefinitions.1!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___95!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___96!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___97!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___98!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___99!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___100!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___101!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___102!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___103!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___104!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___105!
Introducing is no longer ok!
----------------------
Computing constraints application.mita (rss 391823939)
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@58e03769)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@171aa66)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@5a899811)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@6a51ae7c)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@58739e5e)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@4e2cdc51)
report for:stdlib_iterables.mita
resourceDescriptions: 3 ms
deserialize: 36 ms
combine: 2 ms
proxies: 33 ms
solve: 79 ms
size-inference: 59 ms
Computing constraints application.mita (rss 391823939)
Computing constraints stdlib_iterables.mita (rss 391823939)
Computing constraints stdlib_optionals.mita (rss 391823939)
Computing constraints stdlib_print.mita (rss 391823939)
Computing constraints stdlib_references.mita (rss 391823939)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"Startup!")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@4be12f6c (text: [Hello, World, !]))
report for:application.mita
resourceDescriptions: 7 ms
deserialize: 39 ms
combine: 2 ms
proxies: 62 ms
solve: 202 ms
size-inference: 9 ms
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 1 ms
deserialize: 34 ms
combine: 1 ms
proxies: 23 ms
solve: 75 ms
size-inference: 0 ms
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@76973a6)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@73608eb0)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@2ee39e73)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@67f9cb52)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@59018eed)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@2de9ca6)
report for:stdlib_iterables.mita
resourceDescriptions: 1 ms
deserialize: 21 ms
combine: 1 ms
proxies: 19 ms
solve: 87 ms
size-inference: 34 ms
solve timing (stdlib_print.mita):

report for:stdlib_print.mita
resourceDescriptions: 1 ms
deserialize: 30 ms
combine: 1 ms
proxies: 19 ms
solve: 70 ms
size-inference: 4 ms
compiling C project...
make, -C, /tmp/genie.mita/helloWorldTest7251226722796658577/src-gen, all

make: Entering directory '/tmp/genie.mita/helloWorldTest7251226722796658577/src-gen'
mkdir -p ./build
gcc -Wall -std=c99 -D_POSIX_C_SOURCE=199309L -D_DEFAULT_SOURCE -g -I. -I./base -I../include -o./build/app ./main.c ./base/MitaTime.c ./base/PlatformX86.c ./application.c ./base/MitaGeneratedTypes.c -L../lib 
./application.c: In function ‘HandleEveryx86Startup_1_worker’:
./application.c:48:2: warning: statement with no effect [-Wunused-value]
  expressionStatementRefPop_ringbuffer_T_S_5;
  ^
./application.c: In function ‘HandleEveryx86Startup_1’:
./application.c:56:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery1Second_1_worker’:
./application.c:63:11: warning: unused variable ‘exception’ [-Wunused-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery1Second_1’:
./application.c:77:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
make: Leaving directory '/tmp/genie.mita/helloWorldTest7251226722796658577/src-gen'
running exe...
/tmp/genie.mita/helloWorldTest7251226722796658577/src-gen/build/app

compiling mita project...
java, -cp, /jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../org.eclipse.mita.cli/target/org.eclipse.mita.cli-0.2.0-SNAPSHOT-cli.jar:/jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../../platforms/org.eclipse.mita.platform.x86/target/org.eclipse.mita.platform.x86-0.2.0-SNAPSHOT.jar, org.eclipse.mita.cli.Main, compile, -p, /tmp/genie.mita/referencesTest8996407540531953805

Picked up JAVA_TOOL_OPTIONS: -Xmx2G -Djava.io.tmpdir=/tmp/genie.mita
Warning: mita CLI tooling is still experimental. Here be dragons.
Loading classpath:/lib/1.0.0/stdlib_optionals.mita
Loading classpath:/lib/1.0.0/stdlib_print.mita
Loading classpath:/lib/1.0.0/stdlib_references.mita
Loading classpath:/lib/1.0.0/stdlib_types.mita
Loading classpath:/lib/1.0.0/stdlib_iterables.mita
Loading classpath:/1.0.0/x86.platform
Computing constraints stdlib_types.mita (rss 1885927370)
Computing constraints stdlib_optionals.mita (rss 1885927370)
Computing constraints stdlib_print.mita (rss 1885927370)
Computing constraints stdlib_references.mita (rss 1885927370)
Computing constraints stdlib_iterables.mita (rss 1885927370)
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 39 ms
deserialize: 143 ms
combine: 7 ms
proxies: 210 ms
solve: 199 ms
size-inference: 1 ms
Computing constraints application.mita (rss 368788838)
Computing constraints stdlib_types.mita (rss 482090462)
Computing constraints stdlib_optionals.mita (rss 482090462)
Computing constraints stdlib_print.mita (rss 482090462)
Computing constraints stdlib_references.mita (rss 482090462)
Computing constraints stdlib_iterables.mita (rss 482090462)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@10850d17 (text: null))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@41f4039e (text: null))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@5ff00507 (text: [v2d, (, ,, )]))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"v0d()")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@4fc165f6 (text: [v1d, (, )]))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@545b5ed0 (text: null))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@6cae2e4d (text: null))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"foobar")
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»1, prim»i»2, prim»i»3, prim»i»4])
ProgramSizeInferrer: Unhandled: ReferenceExpressionImpl (&x6)
ProgramSizeInferrer: Unhandled: ReferenceExpressionImpl (&x7)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
report for:application.mita
resourceDescriptions: 22 ms
deserialize: 64 ms
combine: 2 ms
proxies: 114 ms
solve: 604 ms
size-inference: 97 ms
Computing constraints stdlib_types.mita (rss 745089008)
Computing constraints stdlib_optionals.mita (rss 745089008)
Computing constraints stdlib_print.mita (rss 745089008)
Computing constraints stdlib_references.mita (rss 745089008)
Computing constraints stdlib_iterables.mita (rss 745089008)
Computing constraints application.mita (rss 824781215)
----------------------
Introducing is ok for a bit.
Computing constraints application.mita (rss 824781215)
introducing classpath:/lib/1.0.0/stdlib_references.mita#reference_1!
introducing classpath:/lib/1.0.0/stdlib_types.mita#string_14!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#array_1!
introducing classpath:/lib/1.0.0/stdlib_types.mita#uint32_7!
introducing classpath:/lib/1.0.0/stdlib_print.mita#//@functionDefinitions.1!
introducing classpath:/lib/1.0.0/stdlib_print.mita#//@functionDefinitions.0!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___95!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___96!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___97!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___98!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___99!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___100!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___101!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___102!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___103!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___104!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___105!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.0!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.2!
Introducing is no longer ok!
----------------------
Computing constraints application.mita (rss 1373579841)
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@5529522f)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@336e3be2)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@126a9a3d)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@7db47323)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@6c2883b1)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@175ac243)
report for:stdlib_iterables.mita
resourceDescriptions: 3 ms
deserialize: 31 ms
combine: 2 ms
proxies: 26 ms
solve: 109 ms
size-inference: 71 ms
Computing constraints application.mita (rss 1373579841)
Computing constraints stdlib_iterables.mita (rss 1373579841)
Computing constraints stdlib_optionals.mita (rss 1373579841)
Computing constraints stdlib_print.mita (rss 1373579841)
Computing constraints stdlib_references.mita (rss 1373579841)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@59f76e56 (text: null))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@7bdb4f17 (text: null))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@2b4829aa (text: [v2d, (, ,, )]))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"v0d()")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@15914bb5 (text: [v1d, (, )]))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@2c1ea7be (text: null))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@732d078d (text: null))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"foobar")
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»1, prim»i»2, prim»i»3, prim»i»4])
ProgramSizeInferrer: Unhandled: ReferenceExpressionImpl (&x6)
ProgramSizeInferrer: Unhandled: ReferenceExpressionImpl (&x7)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
report for:application.mita
resourceDescriptions: 45 ms
deserialize: 75 ms
combine: 1 ms
proxies: 92 ms
solve: 367 ms
size-inference: 32 ms
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 4 ms
deserialize: 31 ms
combine: 0 ms
proxies: 22 ms
solve: 116 ms
size-inference: 0 ms
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@4b7ed03e)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@6f91fbda)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@3fb450d7)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@37c7766e)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@723e3c17)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@636985df)
report for:stdlib_iterables.mita
resourceDescriptions: 1 ms
deserialize: 32 ms
combine: 1 ms
proxies: 19 ms
solve: 77 ms
size-inference: 33 ms
solve timing (stdlib_print.mita):

report for:stdlib_print.mita
resourceDescriptions: 1 ms
deserialize: 32 ms
combine: 1 ms
proxies: 15 ms
solve: 67 ms
size-inference: 6 ms
compiling C project...
make, -C, /tmp/genie.mita/referencesTest8996407540531953805/src-gen, all

make: Entering directory '/tmp/genie.mita/referencesTest8996407540531953805/src-gen'
mkdir -p ./build
gcc -Wall -std=c99 -D_POSIX_C_SOURCE=199309L -D_DEFAULT_SOURCE -g -I. -I./base -I../include -o./build/app ./main.c ./base/MitaTime.c ./base/PlatformX86.c ./application.c ./base/MitaGeneratedTypes.c -L../lib 
./application.c: In function ‘HandleEveryx86Startup_1_worker’:
./application.c:50:2: warning: statement with no effect [-Wunused-value]
  expressionStatementRefPop_ringbuffer_T_S_5;
  ^
./application.c: In function ‘HandleEveryx86Startup_1’:
./application.c:113:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery1Second_1_worker’:
./application.c:120:11: warning: unused variable ‘exception’ [-Wunused-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery1Second_1’:
./application.c:128:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
make: Leaving directory '/tmp/genie.mita/referencesTest8996407540531953805/src-gen'
running exe...
/tmp/genie.mita/referencesTest8996407540531953805/src-gen/build/app

compiling mita project...
java, -cp, /jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../org.eclipse.mita.cli/target/org.eclipse.mita.cli-0.2.0-SNAPSHOT-cli.jar:/jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../../platforms/org.eclipse.mita.platform.x86/target/org.eclipse.mita.platform.x86-0.2.0-SNAPSHOT.jar, org.eclipse.mita.cli.Main, compile, -p, /tmp/genie.mita/ringbufferTest644187818452963650

Picked up JAVA_TOOL_OPTIONS: -Xmx2G -Djava.io.tmpdir=/tmp/genie.mita
Warning: mita CLI tooling is still experimental. Here be dragons.
Loading classpath:/lib/1.0.0/stdlib_optionals.mita
Loading classpath:/lib/1.0.0/stdlib_print.mita
Loading classpath:/lib/1.0.0/stdlib_references.mita
Loading classpath:/lib/1.0.0/stdlib_types.mita
Loading classpath:/lib/1.0.0/stdlib_iterables.mita
Loading classpath:/1.0.0/x86.platform
Computing constraints stdlib_types.mita (rss 1885927370)
Computing constraints stdlib_optionals.mita (rss 1885927370)
Computing constraints stdlib_print.mita (rss 1885927370)
Computing constraints stdlib_references.mita (rss 1885927370)
Computing constraints stdlib_iterables.mita (rss 1885927370)
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 35 ms
deserialize: 126 ms
combine: 8 ms
proxies: 229 ms
solve: 196 ms
size-inference: 1 ms
Computing constraints application.mita (rss 4888672)
Computing constraints stdlib_types.mita (rss 2067076166)
Computing constraints stdlib_optionals.mita (rss 2067076166)
Computing constraints stdlib_print.mita (rss 2067076166)
Computing constraints stdlib_references.mita (rss 2067076166)
Computing constraints stdlib_iterables.mita (rss 2067076166)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@7f85217c (text: null))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@58a84a12 (text: null))
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"[")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@22bf9122 (text: null))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»", ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"]")
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"[")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@7f6329cb (text: null))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»", ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"]")
ProgramSizeInferrer: Unhandled: ReferenceExpressionImpl (&a1)
ProgramSizeInferrer: Unhandled: ReferenceExpressionImpl (&a1)
ProgramSizeInferrer: Unhandled: ReferenceExpressionImpl (&a1)
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"IOOB")
ProgramSizeInferrer: Unhandled: ReferenceExpressionImpl (&a2)
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@6a15b73 (text: null))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"IOOB")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@15fb4566 (text: null))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"IOOB")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@29896529 (text: null))
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([i])
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@39dec536 (text: null)])
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@39dec536 (text: null))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@4a1a256d (text: [1, :]))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@4cb957b8 (text: [2, :]))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"3: ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"1")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"a3s full")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"4: ")
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»1 as uint8])
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"a4s full")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"5: ")
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»s»"1"])
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"1")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"a5s full")
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
report for:application.mita
resourceDescriptions: 26 ms
deserialize: 91 ms
combine: 2 ms
proxies: 146 ms
solve: 299 ms
size-inference: 143 ms
Computing constraints stdlib_types.mita (rss 935176579)
Computing constraints stdlib_optionals.mita (rss 935176579)
Computing constraints stdlib_print.mita (rss 935176579)
Computing constraints stdlib_references.mita (rss 935176579)
Computing constraints stdlib_iterables.mita (rss 935176579)
Computing constraints application.mita (rss 1590075830)
----------------------
Introducing is ok for a bit.
Computing constraints application.mita (rss 1590075830)
introducing classpath:/lib/1.0.0/stdlib_references.mita#reference_1!
introducing classpath:/lib/1.0.0/stdlib_types.mita#uint32_7!
introducing classpath:/lib/1.0.0/stdlib_types.mita#bool_10!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___23!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___24!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___25!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___26!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___27!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___28!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___29!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___30!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___31!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___32!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___33!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___34!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#__PLUS___7!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#__PLUS___15!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.8!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.0!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.2!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.1!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.3!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.11!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.5!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.9!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.7!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.6!
introducing classpath:/lib/1.0.0/stdlib_print.mita#//@functionDefinitions.1!
introducing classpath:/lib/1.0.0/stdlib_print.mita#//@functionDefinitions.0!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___35!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___36!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___37!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___38!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___39!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___40!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___41!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___42!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___43!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___44!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__MINUS___45!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___95!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___96!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___97!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___98!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___99!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___100!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___101!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___102!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___103!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___104!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___105!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#//@functionDefinitions.10!
Introducing is no longer ok!
----------------------
Computing constraints application.mita (rss 1396538465)
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@4f2ac7e0)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@74a820bf)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@5a30722c)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@111cba40)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@794240e2)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@2484dbb7)
report for:stdlib_iterables.mita
resourceDescriptions: 1 ms
deserialize: 32 ms
combine: 1 ms
proxies: 22 ms
solve: 93 ms
size-inference: 43 ms
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@5ddd84d2)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@7b332b23)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@428eb3d5)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@66a472b9)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@15914bb5)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@3fd5d679)
report for:stdlib_iterables.mita
resourceDescriptions: 4 ms
deserialize: 24 ms
combine: 0 ms
proxies: 21 ms
solve: 81 ms
size-inference: 40 ms
Computing constraints application.mita (rss 1396538465)
Computing constraints stdlib_iterables.mita (rss 1396538465)
Computing constraints stdlib_optionals.mita (rss 1396538465)
Computing constraints stdlib_print.mita (rss 1396538465)
Computing constraints stdlib_references.mita (rss 1396538465)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@7402c49f (text: null))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@4882b9a (text: null))
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"[")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@4fd3b20a (text: null))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»", ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"]")
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"[")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@44485db (text: null))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»", ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"]")
ProgramSizeInferrer: Unhandled: ReferenceExpressionImpl (&a1)
ProgramSizeInferrer: Unhandled: ReferenceExpressionImpl (&a1)
ProgramSizeInferrer: Unhandled: ReferenceExpressionImpl (&a1)
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"IOOB")
ProgramSizeInferrer: Unhandled: ReferenceExpressionImpl (&a2)
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@7c9ea1d0 (text: null))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"IOOB")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@78bd02c8 (text: null))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"IOOB")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@770cbe5d (text: null))
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([i])
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@f575d2b (text: null))
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([primitiveValueExpression_193])
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@98722ef (text: [1, :]))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@4182a651 (text: [2, :]))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"3: ")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"1")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"a3s full")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"4: ")
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»i»1 as uint8])
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"a4s full")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"5: ")
ProgramSizeInferrer: Unhandled: ArrayLiteralImpl ([prim»s»"1"])
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"1")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"a5s full")
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
ProgramSizeInferrer: Unhandled: TypeHoleImpl (?)
report for:application.mita
resourceDescriptions: 59 ms
deserialize: 68 ms
combine: 1 ms
proxies: 111 ms
solve: 872 ms
size-inference: 134 ms
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 13 ms
deserialize: 31 ms
combine: 2 ms
proxies: 26 ms
solve: 55 ms
size-inference: 0 ms
solve timing (stdlib_print.mita):

report for:stdlib_print.mita
resourceDescriptions: 1 ms
deserialize: 21 ms
combine: 1 ms
proxies: 16 ms
solve: 64 ms
size-inference: 6 ms
compiling C project...
make, -C, /tmp/genie.mita/ringbufferTest644187818452963650/src-gen, all

make: Entering directory '/tmp/genie.mita/ringbufferTest644187818452963650/src-gen'
mkdir -p ./build
gcc -Wall -std=c99 -D_POSIX_C_SOURCE=199309L -D_DEFAULT_SOURCE -g -I. -I./base -I../include -o./build/app ./main.c ./base/MitaTime.c ./base/PlatformX86.c ./application.c ./base/MitaGeneratedTypes.c -L../lib 
./application.c: In function ‘HandleEveryx86Startup_1_worker’:
./application.c:132:2: warning: statement with no effect [-Wunused-value]
  expressionStatementRefPop_ringbuffer_T_S_5;
  ^
./application.c: In function ‘HandleEveryx86Startup_1’:
./application.c:378:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery1Second_1’:
./application.c:701:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
make: Leaving directory '/tmp/genie.mita/ringbufferTest644187818452963650/src-gen'
running exe...
/tmp/genie.mita/ringbufferTest644187818452963650/src-gen/build/app

compiling mita project...
java, -cp, /jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../org.eclipse.mita.cli/target/org.eclipse.mita.cli-0.2.0-SNAPSHOT-cli.jar:/jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../../platforms/org.eclipse.mita.platform.x86/target/org.eclipse.mita.platform.x86-0.2.0-SNAPSHOT.jar, org.eclipse.mita.cli.Main, compile, -p, /tmp/genie.mita/stringTest9135169496702763563

Picked up JAVA_TOOL_OPTIONS: -Xmx2G -Djava.io.tmpdir=/tmp/genie.mita
Warning: mita CLI tooling is still experimental. Here be dragons.
Loading classpath:/lib/1.0.0/stdlib_optionals.mita
Loading classpath:/lib/1.0.0/stdlib_print.mita
Loading classpath:/lib/1.0.0/stdlib_references.mita
Loading classpath:/lib/1.0.0/stdlib_types.mita
Loading classpath:/lib/1.0.0/stdlib_iterables.mita
Loading classpath:/1.0.0/x86.platform
Computing constraints stdlib_types.mita (rss 1885927370)
Computing constraints stdlib_optionals.mita (rss 1885927370)
Computing constraints stdlib_print.mita (rss 1885927370)
Computing constraints stdlib_references.mita (rss 1885927370)
Computing constraints stdlib_iterables.mita (rss 1885927370)
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 29 ms
deserialize: 88 ms
combine: 6 ms
proxies: 239 ms
solve: 206 ms
size-inference: 0 ms
Computing constraints application.mita (rss 1252165500)
Computing constraints stdlib_types.mita (rss 1744190758)
Computing constraints stdlib_optionals.mita (rss 1744190758)
Computing constraints stdlib_print.mita (rss 1744190758)
Computing constraints stdlib_references.mita (rss 1744190758)
Computing constraints stdlib_iterables.mita (rss 1744190758)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"1")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"2")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"3")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@14168e1 (text: [4]))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@16a5c7e4 (text: null))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"5")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"6")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"7")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@13bdf540 (text: null))
report for:application.mita
resourceDescriptions: 16 ms
deserialize: 55 ms
combine: 3 ms
proxies: 62 ms
solve: 124 ms
size-inference: 53 ms
Computing constraints stdlib_types.mita (rss 134708375)
Computing constraints stdlib_optionals.mita (rss 134708375)
Computing constraints stdlib_print.mita (rss 134708375)
Computing constraints stdlib_references.mita (rss 134708375)
Computing constraints stdlib_iterables.mita (rss 134708375)
Computing constraints application.mita (rss 1091993069)
----------------------
Introducing is ok for a bit.
Computing constraints application.mita (rss 1091993069)
introducing classpath:/lib/1.0.0/stdlib_types.mita#string_14!
introducing classpath:/lib/1.0.0/stdlib_types.mita#bool_10!
introducing classpath:/lib/1.0.0/stdlib_print.mita#//@functionDefinitions.1!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___23!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___24!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___25!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___26!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___27!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___28!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___29!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___30!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___31!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___32!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___33!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___34!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#__PLUS___7!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#__PLUS___15!
introducing classpath:/lib/1.0.0/stdlib_types.mita#//@types.13/@constructor!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___95!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___96!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___97!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___98!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___99!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___100!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___101!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___102!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___103!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___104!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__POSTINCREMENT___105!
Introducing is no longer ok!
----------------------
Computing constraints application.mita (rss 634988826)
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@3866c96e)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@32e697ac)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@45796b2a)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@c318864)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@7d61468c)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@3c488b34)
report for:stdlib_iterables.mita
resourceDescriptions: 4 ms
deserialize: 32 ms
combine: 2 ms
proxies: 30 ms
solve: 99 ms
size-inference: 32 ms
Computing constraints application.mita (rss 634988826)
Computing constraints stdlib_iterables.mita (rss 634988826)
Computing constraints stdlib_optionals.mita (rss 634988826)
Computing constraints stdlib_print.mita (rss 634988826)
Computing constraints stdlib_references.mita (rss 634988826)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"1")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"2")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"3")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@7bf65e0f (text: [4]))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@c6a692e (text: null))
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"5")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"6")
ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"7")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@22361e23 (text: null))
report for:application.mita
resourceDescriptions: 13 ms
deserialize: 60 ms
combine: 1 ms
proxies: 73 ms
solve: 824 ms
size-inference: 27 ms
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 1 ms
deserialize: 28 ms
combine: 1 ms
proxies: 22 ms
solve: 83 ms
size-inference: 0 ms
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@4001d8c1)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@423ed3b5)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@74960e9d)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@3c88191b)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@fb5aeed)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@5d124d29)
report for:stdlib_iterables.mita
resourceDescriptions: 1 ms
deserialize: 28 ms
combine: 1 ms
proxies: 25 ms
solve: 67 ms
size-inference: 26 ms
solve timing (stdlib_print.mita):

report for:stdlib_print.mita
resourceDescriptions: 1 ms
deserialize: 18 ms
combine: 1 ms
proxies: 19 ms
solve: 62 ms
size-inference: 6 ms
compiling C project...
make, -C, /tmp/genie.mita/stringTest9135169496702763563/src-gen, all

make: Entering directory '/tmp/genie.mita/stringTest9135169496702763563/src-gen'
mkdir -p ./build
gcc -Wall -std=c99 -D_POSIX_C_SOURCE=199309L -D_DEFAULT_SOURCE -g -I. -I./base -I../include -o./build/app ./main.c ./base/MitaTime.c ./base/PlatformX86.c ./application.c ./base/MitaGeneratedTypes.c -L../lib 
./application.c: In function ‘HandleEveryx86Startup_1_worker’:
./application.c:49:2: warning: statement with no effect [-Wunused-value]
  expressionStatementRefPop_ringbuffer_T_S_5;
  ^
./application.c: In function ‘HandleEveryx86Startup_1’:
./application.c:167:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery1Second_1_worker’:
./application.c:174:11: warning: unused variable ‘exception’ [-Wunused-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery1Second_1’:
./application.c:182:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
make: Leaving directory '/tmp/genie.mita/stringTest9135169496702763563/src-gen'
running exe...
/tmp/genie.mita/stringTest9135169496702763563/src-gen/build/app

1->1
1, 1
2->2
2, 2
34->34
34, 34
3->3
3, 3
56->56
56, 56
7->7
7, 7
7891011->7891011
7891011, 7891011
compiling mita project...
java, -cp, /jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../org.eclipse.mita.cli/target/org.eclipse.mita.cli-0.2.0-SNAPSHOT-cli.jar:/jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/../../platforms/org.eclipse.mita.platform.x86/target/org.eclipse.mita.platform.x86-0.2.0-SNAPSHOT.jar, org.eclipse.mita.cli.Main, compile, -p, /tmp/genie.mita/sumTypesTest758369918938311351

Picked up JAVA_TOOL_OPTIONS: -Xmx2G -Djava.io.tmpdir=/tmp/genie.mita
Warning: mita CLI tooling is still experimental. Here be dragons.
Loading classpath:/lib/1.0.0/stdlib_optionals.mita
Loading classpath:/lib/1.0.0/stdlib_print.mita
Loading classpath:/lib/1.0.0/stdlib_references.mita
Loading classpath:/lib/1.0.0/stdlib_types.mita
Loading classpath:/lib/1.0.0/stdlib_iterables.mita
Loading classpath:/1.0.0/x86.platform
Computing constraints stdlib_types.mita (rss 1885927370)
Computing constraints stdlib_optionals.mita (rss 1885927370)
Computing constraints stdlib_print.mita (rss 1885927370)
Computing constraints stdlib_references.mita (rss 1885927370)
Computing constraints stdlib_iterables.mita (rss 1885927370)
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
PCF: computeConstraints is not implemented for Program
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 38 ms
deserialize: 111 ms
combine: 7 ms
proxies: 223 ms
solve: 233 ms
size-inference: 0 ms
Computing constraints application.mita (rss 1886186662)
Computing constraints stdlib_types.mita (rss 48063459)
Computing constraints stdlib_optionals.mita (rss 48063459)
Computing constraints stdlib_print.mita (rss 48063459)
Computing constraints stdlib_references.mita (rss 48063459)
Computing constraints stdlib_iterables.mita (rss 48063459)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"v0d()")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@cfd1075 (text: [v1d, (, )]))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@45117dd (text: [v2d, (, ,, )]))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@7741771e (text: [v3d, (, ,, ,, )]))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@834e986 (text: [v4d, (, ,, ,, ,, )]))
report for:application.mita
resourceDescriptions: 26 ms
deserialize: 86 ms
combine: 2 ms
proxies: 146 ms
solve: 177 ms
size-inference: 131 ms
Computing constraints stdlib_types.mita (rss 546271589)
Computing constraints stdlib_optionals.mita (rss 546271589)
Computing constraints stdlib_print.mita (rss 546271589)
Computing constraints stdlib_references.mita (rss 546271589)
Computing constraints stdlib_iterables.mita (rss 546271589)
Computing constraints application.mita (rss 13610224)
----------------------
Introducing is ok for a bit.
Computing constraints application.mita (rss 13610224)
introducing classpath:/lib/1.0.0/stdlib_references.mita#reference_1!
introducing classpath:/lib/1.0.0/stdlib_types.mita#string_14!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___23!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___24!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___25!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___26!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___27!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___28!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___29!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___30!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___31!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___32!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___33!
introducing classpath:/lib/1.0.0/stdlib_types.mita#__PLUS___34!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#__PLUS___7!
introducing classpath:/lib/1.0.0/stdlib_iterables.mita#__PLUS___15!
introducing classpath:/lib/1.0.0/stdlib_print.mita#//@functionDefinitions.1!
Introducing is no longer ok!
----------------------
Computing constraints application.mita (rss 919561079)
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@7c69e1e1)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@1bc6c20d)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@aedc426)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@39b85a73)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@7b52b18a)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@5788722f)
report for:stdlib_iterables.mita
resourceDescriptions: 3 ms
deserialize: 32 ms
combine: 1 ms
proxies: 22 ms
solve: 105 ms
size-inference: 45 ms
Computing constraints application.mita (rss 919561079)
Computing constraints stdlib_iterables.mita (rss 919561079)
Computing constraints stdlib_optionals.mita (rss 919561079)
Computing constraints stdlib_print.mita (rss 919561079)
Computing constraints stdlib_references.mita (rss 919561079)
solve timing (application.mita):

ProgramSizeInferrer: Unhandled: StringLiteralImpl (s»"v0d()")
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@15549dd7 (text: [v1d, (, )]))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@1e75af65 (text: [v2d, (, ,, )]))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@25a2c4dc (text: [v3d, (, ,, ,, )]))
ProgramSizeInferrer: Unhandled: InterpolatedStringLiteralImpl (org.eclipse.mita.base.types.impl.InterpolatedStringLiteralImpl@29d81c22 (text: [v4d, (, ,, ,, ,, )]))
report for:application.mita
resourceDescriptions: 71 ms
deserialize: 67 ms
combine: 1 ms
proxies: 97 ms
solve: 999 ms
size-inference: 188 ms
solve timing (x86.platform):

report for:x86.platform
resourceDescriptions: 12 ms
deserialize: 19 ms
combine: 1 ms
proxies: 17 ms
solve: 50 ms
size-inference: 0 ms
solve timing (stdlib_iterables.mita):

ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@49754e74)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@cf01c2e)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@31881aa2)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@1b46392c)
ProgramSizeInferrer: Unhandled: TypeReferenceLiteralImpl (org.eclipse.mita.base.types.impl.TypeReferenceLiteralImpl@60deefed)
ProgramSizeInferrer: Unhandled: NaryTypeAdditionImpl (org.eclipse.mita.base.types.impl.NaryTypeAdditionImpl@6f15f52a)
report for:stdlib_iterables.mita
resourceDescriptions: 0 ms
deserialize: 20 ms
combine: 0 ms
proxies: 17 ms
solve: 65 ms
size-inference: 21 ms
solve timing (stdlib_print.mita):

report for:stdlib_print.mita
resourceDescriptions: 1 ms
deserialize: 18 ms
combine: 0 ms
proxies: 14 ms
solve: 51 ms
size-inference: 4 ms
compiling C project...
make, -C, /tmp/genie.mita/sumTypesTest758369918938311351/src-gen, all

make: Entering directory '/tmp/genie.mita/sumTypesTest758369918938311351/src-gen'
mkdir -p ./build
gcc -Wall -std=c99 -D_POSIX_C_SOURCE=199309L -D_DEFAULT_SOURCE -g -I. -I./base -I../include -o./build/app ./main.c ./base/MitaTime.c ./base/PlatformX86.c ./application.c ./base/MitaGeneratedTypes.c -L../lib 
./application.c: In function ‘HandleEveryx86Startup_1_worker’:
./application.c:64:2: warning: statement with no effect [-Wunused-value]
  expressionStatementRefPop_ringbuffer_T_S_5;
  ^
./application.c: In function ‘HandleEveryx86Startup_1’:
./application.c:284:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery100Millisecond_1_worker’:
./application.c:291:11: warning: unused variable ‘exception’ [-Wunused-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
./application.c: In function ‘HandleEvery100Millisecond_1’:
./application.c:299:11: warning: variable ‘exception’ set but not used [-Wunused-but-set-variable]
  uint32_t exception = NO_EXCEPTION;
           ^
make: Leaving directory '/tmp/genie.mita/sumTypesTest758369918938311351/src-gen'
running exe...
/tmp/genie.mita/sumTypesTest758369918938311351/src-gen/build/app

Tests run: 8, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 139.928 sec <<< FAILURE! - in org.eclipse.mita.program.runtime.tests.AllTests
testMe(org.eclipse.mita.program.runtime.tests.ArraysTest)  Time elapsed: 16.156 sec
testMe(org.eclipse.mita.program.runtime.tests.ControlflowTest)  Time elapsed: 10.137 sec
testMe(org.eclipse.mita.program.runtime.tests.EpochTimeTest)  Time elapsed: 11.158 sec  <<< FAILURE!
java.lang.AssertionError: null
	at org.junit.Assert.fail(Assert.java:86)
	at org.junit.Assert.assertTrue(Assert.java:41)
	at org.junit.Assert.assertTrue(Assert.java:52)
	at org.eclipse.mita.program.runtime.tests.EpochTimeTest.testMe(EpochTimeTest.java:74)

testMe(org.eclipse.mita.program.runtime.tests.HelloWorldTest)  Time elapsed: 16.354 sec
testMe(org.eclipse.mita.program.runtime.tests.ReferencesTest)  Time elapsed: 11.04 sec
testMe(org.eclipse.mita.program.runtime.tests.RingbufferTest)  Time elapsed: 37.528 sec
testMe(org.eclipse.mita.program.runtime.tests.StringTest)  Time elapsed: 13.716 sec
testMe(org.eclipse.mita.program.runtime.tests.SumTypesTest)  Time elapsed: 23.827 sec

Results :

Failed tests: 
  EpochTimeTest.testMe:74 null

Tests run: 624, Failures: 1, Errors: 0, Skipped: 0

[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for Eclipse Mita 0.2.0-SNAPSHOT:
[INFO] 
[INFO] Eclipse Mita ....................................... SUCCESS [  0.265 s]
[INFO] org.eclipse.mita.target ............................ SUCCESS [  0.191 s]
[INFO] org.eclipse.mita.program.tests ..................... FAILURE [12:57 min]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time:  13:13 min
[INFO] Finished at: 2019-11-25T04:46:14-05:00
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal org.eclipse.tycho:tycho-surefire-plugin:1.0.0:test (Xpect Tests) on project org.eclipse.mita.program.tests: There are test failures.
[ERROR] 
[ERROR] Please refer to /jobs/genie.mita/mita-pullrequests/workspace/bundles/org.eclipse.mita.program.tests/target/surefire-reports for the individual test results.
[ERROR] -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
[ERROR] 
[ERROR] After correcting the problems, you can resume the build with the command
[ERROR]   mvn <goals> -rf :org.eclipse.mita.program.tests
[Pipeline] }
Terminating xvnc.
[Pipeline] // wrap
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (deploy)
Stage "deploy" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline
Setting status of 15bb1e31a6c7e8d48ab001ebd0991d2e708216d0 to FAILURE with url http://ci.eclipse.org/mita/job/mita-pullrequests/576/ and message: 'Build finished. '
ERROR: script returned exit code 1
Finished: FAILURE