181 tests run, 102 passed, 0 skipped, 79 failed.
Annotations
Check failure on line 53 in ETLTests$SimulationTests
github-actions / JUnit Test Report
ETLTests$SimulationTests.[2] Inside.crml
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/Inside.crml.mos
Raw output
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/Inside.crml.mos
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.ETLTests$SimulationTests.simulateTestFile(ETLTests.java:53)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: java.lang.Throwable:
omc fails with the following message:
"/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/Inside"
""
""
"Check of Inside.Inside completed successfully.
Class Inside.Inside has 382 equation(s) and 440 variable(s).
327 of these are trivial equation(s)."
""
"Notification: Automatically loaded package Modelica 4.0.0 due to uses annotation from CRML.
Notification: Automatically loaded package Complex 4.0.0 due to uses annotation from Modelica.
Notification: Automatically loaded package ModelicaServices 4.0.0 due to uses annotation from Modelica.
"
record SimulationResult
resultFile = "",
simulationOptions = "startTime = 0.0, stopTime = 14.0, numberOfIntervals = 500, tolerance = 1e-6, method = 'dassl', fileNamePrefix = 'Inside.Inside_verif', options = '', outputFormat = 'mat', variableFilter = '.*', cflags = '', simflags = ''",
messages = "Failed to build model: Inside.Inside_verif",
timeFrontend = 0.0,
timeBackend = 0.0,
timeSimCode = 0.0,
timeTemplates = 0.0,
timeCompile = 0.0,
timeSimulation = 0.0,
timeTotal = 0.0
end SimulationResult;
"[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/Inside/Inside_verif.mo:8:3-8:20:writable] Error: Type mismatch in equation C1 = externals.C1 of type CRMLtoModelica.Types.CRMLClock = Clock.
"
""
"Failed to build model: Inside.Inside_verif"
Error: Simulation of: Inside_verif did not produce a result-file
Errors: Failed to build model: Inside.Inside_verif[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/Inside/Inside_verif.mo:8:3-8:20:writable] Error: Type mismatch in equation C1 = externals.C1 of type CRMLtoModelica.Types.CRMLClock = Clock.
... 46 more
Check failure on line 53 in ETLTests$SimulationTests
github-actions / JUnit Test Report
ETLTests$SimulationTests.[5] CheckOver_no_ext.crml
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/CheckOver_no_ext.crml.mos
Raw output
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/CheckOver_no_ext.crml.mos
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.ETLTests$SimulationTests.simulateTestFile(ETLTests.java:53)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: java.lang.Throwable:
omc fails with the following message:
"/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver_no_ext"
""
""
""
"[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver_no_ext/CheckOver_no_ext.mo:50:26-50:30:writable] Notification: From here:
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver_no_ext/CheckOver_no_ext.mo:33:1-33:41:writable] Error: Type mismatch in binding P = P1, expected subtype of CRMLtoModelica.Types.CRMLPeriods, got type CRMLtoModelica.Types.CRMLPeriod.
"
record SimulationResult
resultFile = "",
simulationOptions = "startTime = 0.0, stopTime = 1.0, numberOfIntervals = 500, tolerance = 1e-6, method = 'dassl', fileNamePrefix = 'CheckOver_no_ext.CheckOver_no_ext', options = '', outputFormat = 'mat', variableFilter = '.*', cflags = '', simflags = ''",
messages = "Failed to build model: CheckOver_no_ext.CheckOver_no_ext",
timeFrontend = 0.0,
timeBackend = 0.0,
timeSimCode = 0.0,
timeTemplates = 0.0,
timeCompile = 0.0,
timeSimulation = 0.0,
timeTotal = 0.0
end SimulationResult;
"[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver_no_ext/CheckOver_no_ext.mo:50:26-50:30:writable] Notification: From here:
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver_no_ext/CheckOver_no_ext.mo:33:1-33:41:writable] Error: Type mismatch in binding P = P1, expected subtype of CRMLtoModelica.Types.CRMLPeriods, got type CRMLtoModelica.Types.CRMLPeriod.
"
""
"Failed to build model: CheckOver_no_ext.CheckOver_no_ext"
Error: Simulation of: CheckOver_no_ext.CheckOver_no_ext did not produce a result-file
Errors: Failed to build model: CheckOver_no_ext.CheckOver_no_ext[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver_no_ext/CheckOver_no_ext.mo:50:26-50:30:writable] Notification: From here:
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver_no_ext/CheckOver_no_ext.mo:33:1-33:41:writable] Error: Type mismatch in binding P = P1, expected subtype of CRMLtoModelica.Types.CRMLPeriods, got type CRMLtoModelica.Types.CRMLPeriod.
... 46 more
Check failure on line 53 in ETLTests$SimulationTests
github-actions / JUnit Test Report
ETLTests$SimulationTests.[6] CountInside.crml
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/CountInside.crml.mos
Raw output
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/CountInside.crml.mos
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.ETLTests$SimulationTests.simulateTestFile(ETLTests.java:53)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: java.lang.Throwable:
omc fails with the following message:
"/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CountInside"
""
""
"Check of CountInside.CountInside completed successfully.
Class CountInside.CountInside has 626 equation(s) and 628 variable(s).
515 of these are trivial equation(s)."
""
"Notification: Automatically loaded package Modelica 4.0.0 due to uses annotation from CRML.
Notification: Automatically loaded package Complex 4.0.0 due to uses annotation from Modelica.
Notification: Automatically loaded package ModelicaServices 4.0.0 due to uses annotation from Modelica.
"
record SimulationResult
resultFile = "",
simulationOptions = "startTime = 0.0, stopTime = 14.0, numberOfIntervals = 500, tolerance = 1e-6, method = 'dassl', fileNamePrefix = 'CountInside.CountInside_verif', options = '', outputFormat = 'mat', variableFilter = '.*', cflags = '', simflags = ''",
messages = "Failed to build model: CountInside.CountInside_verif",
timeFrontend = 0.0,
timeBackend = 0.0,
timeSimCode = 0.0,
timeTemplates = 0.0,
timeCompile = 0.0,
timeSimulation = 0.0,
timeTotal = 0.0
end SimulationResult;
"[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CountInside/CountInside_verif.mo:8:3-8:20:writable] Error: Type mismatch in equation P1 = externals.P1 of type CRMLtoModelica.Types.CRMLPeriod = CRML.ETL.Connectors.TimeLocatorOutput.
"
""
"Failed to build model: CountInside.CountInside_verif"
Error: Simulation of: CountInside_verif did not produce a result-file
Errors: Failed to build model: CountInside.CountInside_verif[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CountInside/CountInside_verif.mo:8:3-8:20:writable] Error: Type mismatch in equation P1 = externals.P1 of type CRMLtoModelica.Types.CRMLPeriod = CRML.ETL.Connectors.TimeLocatorOutput.
... 46 more
Check failure on line 53 in ETLTests$SimulationTests
github-actions / JUnit Test Report
ETLTests$SimulationTests.[8] CheckOver.crml
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/CheckOver.crml.mos
Raw output
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/CheckOver.crml.mos
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.ETLTests$SimulationTests.simulateTestFile(ETLTests.java:53)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: java.lang.Throwable:
omc fails with the following message:
"/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver"
""
""
""
"[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver/CheckOver.mo:43:26-43:30:writable] Notification: From here:
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver/CheckOver.mo:33:1-33:41:writable] Error: Type mismatch in binding P = P1, expected subtype of CRMLtoModelica.Types.CRMLPeriods, got type CRMLtoModelica.Types.CRMLPeriod.
"
"Notification: Automatically loaded package Modelica 4.0.0 due to uses annotation from CRML.
Notification: Automatically loaded package Complex 4.0.0 due to uses annotation from Modelica.
Notification: Automatically loaded package ModelicaServices 4.0.0 due to uses annotation from Modelica.
"
record SimulationResult
resultFile = "",
simulationOptions = "startTime = 0.0, stopTime = 14.0, numberOfIntervals = 500, tolerance = 1e-6, method = 'dassl', fileNamePrefix = 'CheckOver.CheckOver_verif', options = '', outputFormat = 'mat', variableFilter = '.*', cflags = '', simflags = ''",
messages = "Failed to build model: CheckOver.CheckOver_verif",
timeFrontend = 0.0,
timeBackend = 0.0,
timeSimCode = 0.0,
timeTemplates = 0.0,
timeCompile = 0.0,
timeSimulation = 0.0,
timeTotal = 0.0
end SimulationResult;
"[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Warning: An inner declaration for outer component master could not be found and was automatically generated.
[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Notification: The diagnostics message for the missing inner is:
Your model is using an outer \"master\" component but
an inner \"master\" component is not defined and therefore
a default inner \"master\" component is introduced by the tool.
To change the default setting, drag block CRML.TimeLocators.Continuous.Master
into your model.
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver/CheckOver.mo:43:26-43:30:writable] Notification: From here:
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver/CheckOver.mo:33:1-33:41:writable] Error: Type mismatch in binding P = P1, expected subtype of CRMLtoModelica.Types.CRMLPeriods, got type CRMLtoModelica.Types.CRMLPeriod.
"
""
"Failed to build model: CheckOver.CheckOver_verif"
Error: Simulation of: CheckOver_verif did not produce a result-file
Errors: Failed to build model: CheckOver.CheckOver_verif[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Warning: An inner declaration for outer component master could not be found and was automatically generated.
[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Notification: The diagnostics message for the missing inner is:
Your model is using an outer "master" component but
an inner "master" component is not defined and therefore
a default inner "master" component is introduced by the tool.
To change the default setting, drag block CRML.TimeLocators.Continuous.Master
into your model.
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver/CheckOver.mo:43:26-43:30:writable] Notification: From here:
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver/CheckOver.mo:33:1-33:41:writable] Error: Type mismatch in binding P = P1, expected subtype of CRMLtoModelica.Types.CRMLPeriods, got type CRMLtoModelica.Types.CRMLPeriod.
... 46 more
Check failure on line 53 in ETLTests$SimulationTests
github-actions / JUnit Test Report
ETLTests$SimulationTests.[18] BecomesFalse.crml
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/BecomesFalse.crml.mos
Raw output
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/BecomesFalse.crml.mos
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.ETLTests$SimulationTests.simulateTestFile(ETLTests.java:53)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: java.lang.Throwable:
omc fails with the following message:
"/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/BecomesFalse"
""
""
"Check of BecomesFalse.BecomesFalse completed successfully.
Class BecomesFalse.BecomesFalse has 214 equation(s) and 215 variable(s).
160 of these are trivial equation(s)."
""
"Notification: Automatically loaded package Modelica 4.0.0 due to uses annotation from CRML.
Notification: Automatically loaded package Complex 4.0.0 due to uses annotation from Modelica.
Notification: Automatically loaded package ModelicaServices 4.0.0 due to uses annotation from Modelica.
"
record SimulationResult
resultFile = "",
simulationOptions = "startTime = 0.0, stopTime = 14.0, numberOfIntervals = 500, tolerance = 1e-6, method = 'dassl', fileNamePrefix = 'BecomesFalse.BecomesFalse_verif', options = '', outputFormat = 'mat', variableFilter = '.*', cflags = '', simflags = ''",
messages = "Failed to build model: BecomesFalse.BecomesFalse_verif",
timeFrontend = 0.0,
timeBackend = 0.0,
timeSimCode = 0.0,
timeTemplates = 0.0,
timeCompile = 0.0,
timeSimulation = 0.0,
timeTotal = 0.0
end SimulationResult;
"[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/BecomesFalse/BecomesFalse_verif.mo:3:24-3:52:writable] Error: Modified element event4ToEvent not found in class BecomesFalse.
"
""
"Failed to build model: BecomesFalse.BecomesFalse_verif"
Error: Simulation of: BecomesFalse_verif did not produce a result-file
Errors: Failed to build model: BecomesFalse.BecomesFalse_verif[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/BecomesFalse/BecomesFalse_verif.mo:3:24-3:52:writable] Error: Modified element event4ToEvent not found in class BecomesFalse.
... 46 more
Check failure on line 53 in ETLTests$SimulationTests
github-actions / JUnit Test Report
ETLTests$SimulationTests.[20] BecomesTrueInside.crml
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/BecomesTrueInside.crml.mos
Raw output
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/BecomesTrueInside.crml.mos
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.ETLTests$SimulationTests.simulateTestFile(ETLTests.java:53)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: java.lang.Throwable:
omc fails with the following message:
"/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/BecomesTrueInside"
""
""
"Check of BecomesTrueInside.BecomesTrueInside completed successfully.
Class BecomesTrueInside.BecomesTrueInside has 602 equation(s) and 608 variable(s).
494 of these are trivial equation(s)."
""
"Notification: Automatically loaded package Modelica 4.0.0 due to uses annotation from CRML.
Notification: Automatically loaded package Complex 4.0.0 due to uses annotation from Modelica.
Notification: Automatically loaded package ModelicaServices 4.0.0 due to uses annotation from Modelica.
"
record SimulationResult
resultFile = "",
simulationOptions = "startTime = 0.0, stopTime = 14.0, numberOfIntervals = 500, tolerance = 1e-6, method = 'dassl', fileNamePrefix = 'BecomesTrueInside.BecomesTrueInside_verif', options = '', outputFormat = 'mat', variableFilter = '.*', cflags = '', simflags = ''",
messages = "Failed to build model: BecomesTrueInside.BecomesTrueInside_verif",
timeFrontend = 0.0,
timeBackend = 0.0,
timeSimCode = 0.0,
timeTemplates = 0.0,
timeCompile = 0.0,
timeSimulation = 0.0,
timeTotal = 0.0
end SimulationResult;
"[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Warning: An inner declaration for outer component master could not be found and was automatically generated.
[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Notification: The diagnostics message for the missing inner is:
Your model is using an outer \"master\" component but
an inner \"master\" component is not defined and therefore
a default inner \"master\" component is introduced by the tool.
To change the default setting, drag block CRML.TimeLocators.Continuous.Master
into your model.
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/BecomesTrueInside/BecomesTrueInside_verif.mo:9:3-9:20:writable] Error: Type mismatch in equation P1 = externals.P1 of type CRMLtoModelica.Types.CRMLPeriod = CRML.ETL.Connectors.TimeLocatorOutput.
"
""
"Failed to build model: BecomesTrueInside.BecomesTrueInside_verif"
Error: Simulation of: BecomesTrueInside_verif did not produce a result-file
Errors: Failed to build model: BecomesTrueInside.BecomesTrueInside_verif[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Warning: An inner declaration for outer component master could not be found and was automatically generated.
[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Notification: The diagnostics message for the missing inner is:
Your model is using an outer "master" component but
an inner "master" component is not defined and therefore
a default inner "master" component is introduced by the tool.
To change the default setting, drag block CRML.TimeLocators.Continuous.Master
into your model.
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/BecomesTrueInside/BecomesTrueInside_verif.mo:9:3-9:20:writable] Error: Type mismatch in equation P1 = externals.P1 of type CRMLtoModelica.Types.CRMLPeriod = CRML.ETL.Connectors.TimeLocatorOutput.
... 46 more
Check failure on line 53 in ETLTests$SimulationTests
github-actions / JUnit Test Report
ETLTests$SimulationTests.[22] BecomesTrue.crml
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/BecomesTrue.crml.mos
Raw output
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/BecomesTrue.crml.mos
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.ETLTests$SimulationTests.simulateTestFile(ETLTests.java:53)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: java.lang.Throwable:
omc fails with the following message:
"/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/BecomesTrue"
""
""
"Check of BecomesTrue.BecomesTrue completed successfully.
Class BecomesTrue.BecomesTrue has 214 equation(s) and 215 variable(s).
161 of these are trivial equation(s)."
""
"Notification: Automatically loaded package Modelica 4.0.0 due to uses annotation from CRML.
Notification: Automatically loaded package Complex 4.0.0 due to uses annotation from Modelica.
Notification: Automatically loaded package ModelicaServices 4.0.0 due to uses annotation from Modelica.
"
record SimulationResult
resultFile = "",
simulationOptions = "startTime = 0.0, stopTime = 14.0, numberOfIntervals = 500, tolerance = 1e-6, method = 'dassl', fileNamePrefix = 'BecomesTrue.BecomesTrue_verif', options = '', outputFormat = 'mat', variableFilter = '.*', cflags = '', simflags = ''",
messages = "Failed to build model: BecomesTrue.BecomesTrue_verif",
timeFrontend = 0.0,
timeBackend = 0.0,
timeSimCode = 0.0,
timeTemplates = 0.0,
timeCompile = 0.0,
timeSimulation = 0.0,
timeTotal = 0.0
end SimulationResult;
"[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/BecomesTrue/BecomesTrue_verif.mo:11:3-12:71:writable] Error: Variable event4ToEvent.y not found in scope BecomesTrue_verif.
"
""
"Failed to build model: BecomesTrue.BecomesTrue_verif"
Error: Simulation of: BecomesTrue_verif did not produce a result-file
Errors: Failed to build model: BecomesTrue.BecomesTrue_verif[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/BecomesTrue/BecomesTrue_verif.mo:11:3-12:71:writable] Error: Variable event4ToEvent.y not found in scope BecomesTrue_verif.
... 46 more
Check failure on line 53 in ETLTests$SimulationTests
github-actions / JUnit Test Report
ETLTests$SimulationTests.[25] EvaluateOver.crml
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/EvaluateOver.crml.mos
Raw output
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/EvaluateOver.crml.mos
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.ETLTests$SimulationTests.simulateTestFile(ETLTests.java:53)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: java.lang.Throwable:
omc fails with the following message:
"/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/EvaluateOver"
""
""
"Check of EvaluateOver.EvaluateOver completed successfully.
Class EvaluateOver.EvaluateOver has 34 equation(s) and 40 variable(s).
24 of these are trivial equation(s)."
""
"Notification: Automatically loaded package Modelica 4.0.0 due to uses annotation from CRML.
Notification: Automatically loaded package Complex 4.0.0 due to uses annotation from Modelica.
Notification: Automatically loaded package ModelicaServices 4.0.0 due to uses annotation from Modelica.
"
record SimulationResult
resultFile = "",
simulationOptions = "startTime = 0.0, stopTime = 14.0, numberOfIntervals = 500, tolerance = 1e-6, method = 'dassl', fileNamePrefix = 'EvaluateOver.EvaluateOver_verif', options = '', outputFormat = 'mat', variableFilter = '.*', cflags = '', simflags = ''",
messages = "Failed to build model: EvaluateOver.EvaluateOver_verif",
timeFrontend = 0.0,
timeBackend = 0.0,
timeSimCode = 0.0,
timeTemplates = 0.0,
timeCompile = 0.0,
timeSimulation = 0.0,
timeTotal = 0.0
end SimulationResult;
"[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Warning: An inner declaration for outer component master could not be found and was automatically generated.
[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Notification: The diagnostics message for the missing inner is:
Your model is using an outer \"master\" component but
an inner \"master\" component is not defined and therefore
a default inner \"master\" component is introduced by the tool.
To change the default setting, drag block CRML.TimeLocators.Continuous.Master
into your model.
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/EvaluateOver/EvaluateOver_verif.mo:8:3-8:19:writable] Error: Type mismatch in equation P1 = externals.P1 of type CRMLtoModelica.Types.CRMLPeriod = CRML.ETL.Connectors.TimeLocatorOutput.
"
""
"Failed to build model: EvaluateOver.EvaluateOver_verif"
Error: Simulation of: EvaluateOver_verif did not produce a result-file
Errors: Failed to build model: EvaluateOver.EvaluateOver_verif[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Warning: An inner declaration for outer component master could not be found and was automatically generated.
[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Notification: The diagnostics message for the missing inner is:
Your model is using an outer "master" component but
an inner "master" component is not defined and therefore
a default inner "master" component is introduced by the tool.
To change the default setting, drag block CRML.TimeLocators.Continuous.Master
into your model.
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/EvaluateOver/EvaluateOver_verif.mo:8:3-8:19:writable] Error: Type mismatch in equation P1 = externals.P1 of type CRMLtoModelica.Types.CRMLPeriod = CRML.ETL.Connectors.TimeLocatorOutput.
... 46 more
Check failure on line 53 in ETLTests$SimulationTests
github-actions / JUnit Test Report
ETLTests$SimulationTests.[27] DecideOver.crml
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/DecideOver.crml.mos
Raw output
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/DecideOver.crml.mos
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.ETLTests$SimulationTests.simulateTestFile(ETLTests.java:53)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: java.lang.Throwable:
omc fails with the following message:
"/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/DecideOver"
""
""
"Check of DecideOver.DecideOver completed successfully.
Class DecideOver.DecideOver has 11 equation(s) and 17 variable(s).
9 of these are trivial equation(s)."
""
"Notification: Automatically loaded package Modelica 4.0.0 due to uses annotation from CRML.
Notification: Automatically loaded package Complex 4.0.0 due to uses annotation from Modelica.
Notification: Automatically loaded package ModelicaServices 4.0.0 due to uses annotation from Modelica.
"
record SimulationResult
resultFile = "",
simulationOptions = "startTime = 0.0, stopTime = 14.0, numberOfIntervals = 500, tolerance = 1e-6, method = 'dassl', fileNamePrefix = 'DecideOver.DecideOver_verif', options = '', outputFormat = 'mat', variableFilter = '.*', cflags = '', simflags = ''",
messages = "Failed to build model: DecideOver.DecideOver_verif",
timeFrontend = 0.0,
timeBackend = 0.0,
timeSimCode = 0.0,
timeTemplates = 0.0,
timeCompile = 0.0,
timeSimulation = 0.0,
timeTotal = 0.0
end SimulationResult;
"[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Warning: An inner declaration for outer component master could not be found and was automatically generated.
[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Notification: The diagnostics message for the missing inner is:
Your model is using an outer \"master\" component but
an inner \"master\" component is not defined and therefore
a default inner \"master\" component is introduced by the tool.
To change the default setting, drag block CRML.TimeLocators.Continuous.Master
into your model.
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/DecideOver/DecideOver_verif.mo:8:3-8:19:writable] Error: Type mismatch in equation P1 = externals.P1 of type CRMLtoModelica.Types.CRMLPeriod = CRML.ETL.Connectors.TimeLocatorOutput.
"
""
"Failed to build model: DecideOver.DecideOver_verif"
Error: Simulation of: DecideOver_verif did not produce a result-file
Errors: Failed to build model: DecideOver.DecideOver_verif[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Warning: An inner declaration for outer component master could not be found and was automatically generated.
[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Notification: The diagnostics message for the missing inner is:
Your model is using an outer "master" component but
an inner "master" component is not defined and therefore
a default inner "master" component is introduced by the tool.
To change the default setting, drag block CRML.TimeLocators.Continuous.Master
into your model.
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/DecideOver/DecideOver_verif.mo:8:3-8:19:writable] Error: Type mismatch in equation P1 = externals.P1 of type CRMLtoModelica.Types.CRMLPeriod = CRML.ETL.Connectors.TimeLocatorOutput.
... 46 more
Check failure on line 53 in ETLTests$SimulationTests
github-actions / JUnit Test Report
ETLTests$SimulationTests.[31] BecomesFalseInside.crml
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/BecomesFalseInside.crml.mos
Raw output
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/BecomesFalseInside.crml.mos
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.ETLTests$SimulationTests.simulateTestFile(ETLTests.java:53)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: java.lang.Throwable:
omc fails with the following message:
"/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/BecomesFalseInside"
""
""
"Check of BecomesFalseInside.BecomesFalseInside completed successfully.
Class BecomesFalseInside.BecomesFalseInside has 602 equation(s) and 608 variable(s).
493 of these are trivial equation(s)."
""
"Notification: Automatically loaded package Modelica 4.0.0 due to uses annotation from CRML.
Notification: Automatically loaded package Complex 4.0.0 due to uses annotation from Modelica.
Notification: Automatically loaded package ModelicaServices 4.0.0 due to uses annotation from Modelica.
"
record SimulationResult
resultFile = "",
simulationOptions = "startTime = 0.0, stopTime = 14.0, numberOfIntervals = 500, tolerance = 1e-6, method = 'dassl', fileNamePrefix = 'BecomesFalseInside.BecomesFalseInside_verif', options = '', outputFormat = 'mat', variableFilter = '.*', cflags = '', simflags = ''",
messages = "Failed to build model: BecomesFalseInside.BecomesFalseInside_verif",
timeFrontend = 0.0,
timeBackend = 0.0,
timeSimCode = 0.0,
timeTemplates = 0.0,
timeCompile = 0.0,
timeSimulation = 0.0,
timeTotal = 0.0
end SimulationResult;
"[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Warning: An inner declaration for outer component master could not be found and was automatically generated.
[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Notification: The diagnostics message for the missing inner is:
Your model is using an outer \"master\" component but
an inner \"master\" component is not defined and therefore
a default inner \"master\" component is introduced by the tool.
To change the default setting, drag block CRML.TimeLocators.Continuous.Master
into your model.
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/BecomesFalseInside/BecomesFalseInside_verif.mo:9:3-9:20:writable] Error: Type mismatch in equation P1 = externals.P1 of type CRMLtoModelica.Types.CRMLPeriod = CRML.ETL.Connectors.TimeLocatorOutput.
"
""
"Failed to build model: BecomesFalseInside.BecomesFalseInside_verif"
Error: Simulation of: BecomesFalseInside_verif did not produce a result-file
Errors: Failed to build model: BecomesFalseInside.BecomesFalseInside_verif[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Warning: An inner declaration for outer component master could not be found and was automatically generated.
[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:11064:9-11064:57:writable] Notification: The diagnostics message for the missing inner is:
Your model is using an outer "master" component but
an inner "master" component is not defined and therefore
a default inner "master" component is introduced by the tool.
To change the default setting, drag block CRML.TimeLocators.Continuous.Master
into your model.
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/BecomesFalseInside/BecomesFalseInside_verif.mo:9:3-9:20:writable] Error: Type mismatch in equation P1 = externals.P1 of type CRMLtoModelica.Types.CRMLPeriod = CRML.ETL.Connectors.TimeLocatorOutput.
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[2] ProbabilityVariance.crml
org.opentest4j.AssertionFailedError: Unable to translate ProbabilityVariance.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate ProbabilityVariance.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: unable to parse expression :
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:549)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:436)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Var_defContext.accept(crmlParser.java:920)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:115)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[6] StringConcatenationExample1.crml
org.opentest4j.AssertionFailedError: Unable to translate StringConcatenationExample1.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate StringConcatenationExample1.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: Built in operator undefined : String on String isSet false
at crml.compiler.crmlVisitorImpl.apply_lunary_op(crmlVisitorImpl.java:761)
at crml.compiler.crmlVisitorImpl.visitConstructor(crmlVisitorImpl.java:655)
at crml.compiler.crmlVisitorImpl.visitConstructor(crmlVisitorImpl.java:23)
at grammar.crmlParser$ConstructorContext.accept(crmlParser.java:3288)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:451)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:486)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitConstructor(crmlVisitorImpl.java:654)
at crml.compiler.crmlVisitorImpl.visitConstructor(crmlVisitorImpl.java:23)
at grammar.crmlParser$ConstructorContext.accept(crmlParser.java:3288)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:451)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:486)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:436)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Var_defContext.accept(crmlParser.java:920)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:115)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[7] OperatorExample1.crml
org.opentest4j.AssertionFailedError: Unable to translate OperatorExample1.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate OperatorExample1.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: Built in operator undefined : and on Clock and Boolean
at crml.compiler.crmlVisitorImpl.apply_binary_op(crmlVisitorImpl.java:791)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:487)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitOperator(crmlVisitorImpl.java:325)
at crml.compiler.crmlVisitorImpl.visitOperator(crmlVisitorImpl.java:23)
at grammar.crmlParser$OperatorContext.accept(crmlParser.java:1072)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:123)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[8] SetOperatorsExample7.crml
org.opentest4j.AssertionFailedError: Unable to translate SetOperatorsExample7.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate SetOperatorsExample7.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: Built in operator undefined : filter on {} isSet true
at crml.compiler.crmlVisitorImpl.apply_lunary_op(crmlVisitorImpl.java:761)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:491)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:436)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Var_defContext.accept(crmlParser.java:920)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:115)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[10] BooleanAtEvent_no_ext.crml
org.opentest4j.AssertionFailedError: Unable to translate BooleanAtEvent_no_ext.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate BooleanAtEvent_no_ext.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: Built in operator undefined : and on Boolean and Real
at crml.compiler.crmlVisitorImpl.apply_binary_op(crmlVisitorImpl.java:791)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:487)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:485)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitIf_exp(crmlVisitorImpl.java:672)
at crml.compiler.crmlVisitorImpl.visitIf_exp(crmlVisitorImpl.java:23)
at grammar.crmlParser$If_expContext.accept(crmlParser.java:3229)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:472)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:436)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Var_defContext.accept(crmlParser.java:920)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:115)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[11] StringConcatenationExample2.crml
org.opentest4j.AssertionFailedError: Unable to translate StringConcatenationExample2.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate StringConcatenationExample2.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: Built in operator undefined : + on Boolean and String
at crml.compiler.crmlVisitorImpl.apply_binary_op(crmlVisitorImpl.java:791)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:487)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:485)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitConstructor(crmlVisitorImpl.java:654)
at crml.compiler.crmlVisitorImpl.visitConstructor(crmlVisitorImpl.java:23)
at grammar.crmlParser$ConstructorContext.accept(crmlParser.java:3288)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:451)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:486)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:436)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Var_defContext.accept(crmlParser.java:920)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:115)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[12] SetFlattening.crml
org.opentest4j.AssertionFailedError: Unable to translate SetFlattening.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate SetFlattening.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: unable to parse expression :
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:549)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:436)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Var_defContext.accept(crmlParser.java:920)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:115)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[14] ClockDisjunctionOfClocks.crml
org.opentest4j.AssertionFailedError: Unable to translate ClockDisjunctionOfClocks.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate ClockDisjunctionOfClocks.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: Built in operator undefined : or on Clock and Clock
at crml.compiler.crmlVisitorImpl.apply_binary_op(crmlVisitorImpl.java:791)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:487)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:436)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Var_defContext.accept(crmlParser.java:920)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:115)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[15] IntegerAtEvent.crml
org.opentest4j.AssertionFailedError: Unable to translate IntegerAtEvent.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate IntegerAtEvent.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: unable to parse expression : n1atc
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:549)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:436)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Var_defContext.accept(crmlParser.java:920)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:115)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[17] SetFilter.crml
org.opentest4j.AssertionFailedError: Unable to translate SetFilter.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate SetFilter.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: unable to get variable type : value
at crml.compiler.VariableData.getVariableInfo(VariableData.java:123)
at crml.compiler.crmlVisitorImpl.visitId(crmlVisitorImpl.java:604)
at crml.compiler.crmlVisitorImpl.visitId(crmlVisitorImpl.java:23)
at grammar.crmlParser$IdContext.accept(crmlParser.java:3600)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:459)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitOperator(crmlVisitorImpl.java:325)
at crml.compiler.crmlVisitorImpl.visitOperator(crmlVisitorImpl.java:23)
at grammar.crmlParser$OperatorContext.accept(crmlParser.java:1072)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:123)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[18] ProbabilityEstimator.crml
org.opentest4j.AssertionFailedError: Unable to translate ProbabilityEstimator.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate ProbabilityEstimator.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: unable to parse expression :
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:549)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:436)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Var_defContext.accept(crmlParser.java:920)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:115)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[21] ProbabilityConstructors.crml
org.opentest4j.AssertionFailedError: Unable to translate ProbabilityConstructors.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate ProbabilityConstructors.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: unable to parse expression :
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:549)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:436)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Var_defContext.accept(crmlParser.java:920)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:115)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[22] SetOperatorsExample6.crml
org.opentest4j.AssertionFailedError: Unable to translate SetOperatorsExample6.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate SetOperatorsExample6.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: Unable to translate in element_def : typeRequirement
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:139)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[24] SetUnionOfAnElementWithASet.crml
org.opentest4j.AssertionFailedError: Unable to translate SetUnionOfAnElementWithASet.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate SetUnionOfAnElementWithASet.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: unable to parse expression :
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:549)
at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:23)
at grammar.crmlParser$ExpContext.accept(crmlParser.java:2965)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:436)
at crml.compiler.crmlVisitorImpl.visitVar_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Var_defContext.accept(crmlParser.java:920)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:115)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more
Check failure on line 39 in SpecificationTests$VerificationTests
github-actions / JUnit Test Report
SpecificationTests$VerificationTests.[25] SetOperatorsExample8.crml
org.opentest4j.AssertionFailedError: Unable to translate SetOperatorsExample8.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate SetOperatorsExample8.crml to Modelica
at org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
at org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
at ctests.Util.runTest(Util.java:42)
at ctests.SpecificationTests$VerificationTests.simulateTestFile(SpecificationTests.java:39)
at java.lang.reflect.Method.invoke(Method.java:498)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$2$1.accept(ReferencePipeline.java:175)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:647)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:272)
at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1384)
at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472)
at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485)
at java.util.ArrayList.forEach(ArrayList.java:1259)
at java.util.ArrayList.forEach(ArrayList.java:1259)
Caused by: org.antlr.v4.runtime.misc.ParseCancellationException: Unable to translate in element_def : typeRequirement
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:139)
at crml.compiler.crmlVisitorImpl.visitElement_def(crmlVisitorImpl.java:23)
at grammar.crmlParser$Element_defContext.accept(crmlParser.java:380)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:101)
at crml.compiler.crmlVisitorImpl.visitDefinition(crmlVisitorImpl.java:23)
at grammar.crmlParser$DefinitionContext.accept(crmlParser.java:238)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
at crml.compiler.CRMLC.parse_file(CRMLC.java:183)
at ctests.Util.runTest(Util.java:38)
... 46 more