Skip to content

forl library added to tests, fix period bug #402

forl library added to tests, fix period bug

forl library added to tests, fix period bug #402

GitHub Actions / JUnit Test Report failed Dec 12, 2024 in 0s

194 tests run, 107 passed, 0 skipped, 87 failed.

Annotations

Check failure on line 40 in ETLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

ETLTests$SimulationTests.[3] 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:40)
	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 688 equation(s) and 690 variable(s).
577 of these are trivial equation(s)."
"[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRMLtoModelica.mo:34:10-34:85:writable] Warning: In relation time == c8_init.clock.ticks[c8_init.clock.counter], == on Real numbers is only allowed inside functions.
[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRMLtoModelica.mo:34:10-34:85:writable] Warning: In relation time == 'countinside9'.'inside3'.CRMLtoModelica_Blocks_EventFilter2.clock_c.clock.ticks['countinside9'.'inside3'.CRMLtoModelica_Blocks_EventFilter2.clock_c.clock.counter], == on Real numbers is only allowed inside functions.
"

"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:9:3-9:20:writable] Error: Type mismatch in equation C1 = externals.C1 of type CRMLtoModelica.Types.CRMLClock = Clock.
"
""
"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:9:3-9:20:writable] Error: Type mismatch in equation C1 = externals.C1 of type CRMLtoModelica.Types.CRMLClock = Clock.


	... 46 more

Check failure on line 40 in ETLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

ETLTests$SimulationTests.[7] 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:40)
	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 437 equation(s) and 497 variable(s).
382 of these are trivial equation(s)."
"[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRMLtoModelica.mo:34:10-34:85:writable] Warning: In relation time == 'inside3'.CRMLtoModelica_Blocks_EventFilter2.clock_c.clock.ticks['inside3'.CRMLtoModelica_Blocks_EventFilter2.clock_c.clock.counter], == on Real numbers is only allowed inside functions.
"

"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/resources/modelica_libraries/CRMLtoModelica.mo:34:10-34:85:writable] Warning: In relation time == 'inside3'.CRMLtoModelica_Blocks_EventFilter2.clock_c.clock.ticks['inside3'.CRMLtoModelica_Blocks_EventFilter2.clock_c.clock.counter], == on Real numbers is only allowed inside functions.
[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:2084:9-2084:20:writable] Error: Equation belongs to clocked and continuous partitions.
Error: pre-optimization module clockPartitioning (simulation) failed.
"
""
"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/resources/modelica_libraries/CRMLtoModelica.mo:34:10-34:85:writable] Warning: In relation time == 'inside3'.CRMLtoModelica_Blocks_EventFilter2.clock_c.clock.ticks['inside3'.CRMLtoModelica_Blocks_EventFilter2.clock_c.clock.counter], == on Real numbers is only allowed inside functions.
[/home/runner/work/crml-compiler/crml-compiler/resources/modelica_libraries/CRML.mo:2084:9-2084:20:writable] Error: Equation belongs to clocked and continuous partitions.
Error: pre-optimization module clockPartitioning (simulation) failed.


	... 46 more

Check failure on line 40 in ETLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

ETLTests$SimulationTests.[17] 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:40)
	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:34:32-34:35:writable] Notification: From here:
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver/CheckOver.mo:23:1-23:34:writable] Error: Type mismatch in binding P = 'checkover5'.P, expected subtype of CRMLtoModelica.Types.CRMLPeriod, got type CRMLtoModelica.Types.CRMLPeriods.
"

"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/build/testSuiteGenerated/ETL_test/CheckOver/CheckOver.mo:34:32-34:35:writable] Notification: From here:
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver/CheckOver.mo:23:1-23:34:writable] Error: Type mismatch in binding P = 'checkover5'.P, expected subtype of CRMLtoModelica.Types.CRMLPeriod, got type CRMLtoModelica.Types.CRMLPeriods.
"
""
"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/build/testSuiteGenerated/ETL_test/CheckOver/CheckOver.mo:34:32-34:35:writable] Notification: From here:
[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CheckOver/CheckOver.mo:23:1-23:34:writable] Error: Type mismatch in binding P = 'checkover5'.P, expected subtype of CRMLtoModelica.Types.CRMLPeriod, got type CRMLtoModelica.Types.CRMLPeriods.


	... 46 more

Check failure on line 40 in ETLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

ETLTests$SimulationTests.[26] 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:40)
	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:42:43-43:0:writable] Error: No viable alternative near token: ;
Error: Failed to load package CheckOver_no_ext () using MODELICAPATH /home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test.

	... 46 more

Check failure on line 37 in FORMLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

FORMLTests$SimulationTests.[1] FromBefore_no_ext.crml

org.opentest4j.AssertionFailedError: Unable to translate FromBefore_no_ext.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate FromBefore_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.FORMLTests$SimulationTests.simulateTestFile(FORMLTests.java:37)
	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:814)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:498)
	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:496)
	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:520)
	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:496)
	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:496)
	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:496)
	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:695)
	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:483)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 37 in FORMLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

FORMLTests$SimulationTests.[2] EnsureAtEnd.crml

org.opentest4j.AssertionFailedError: Unable to translate EnsureAtEnd.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate EnsureAtEnd.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.FORMLTests$SimulationTests.simulateTestFile(FORMLTests.java:37)
	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: User operator undefined : 'checkidover'

	at crml.compiler.crmlVisitorImpl.apply_user_operator(crmlVisitorImpl.java:719)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:538)
	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:336)
	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:134)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 37 in FORMLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

FORMLTests$SimulationTests.[3] FromBefore.crml

org.opentest4j.AssertionFailedError: Unable to translate FromBefore.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate FromBefore.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.FORMLTests$SimulationTests.simulateTestFile(FORMLTests.java:37)
	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: User operator undefined : 'from'

	at crml.compiler.crmlVisitorImpl.apply_user_operator(crmlVisitorImpl.java:719)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:538)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 37 in FORMLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

FORMLTests$SimulationTests.[4] CheckAtEnd_no_ext.crml

org.opentest4j.AssertionFailedError: Unable to translate CheckAtEnd_no_ext.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate CheckAtEnd_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.FORMLTests$SimulationTests.simulateTestFile(FORMLTests.java:37)
	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: User operator undefined : 'checkid'

	at crml.compiler.crmlVisitorImpl.apply_user_operator(crmlVisitorImpl.java:719)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:538)
	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:336)
	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:134)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 37 in FORMLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

FORMLTests$SimulationTests.[5] AfterUntil_no_ext.crml

org.opentest4j.AssertionFailedError: Unable to translate AfterUntil_no_ext.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate AfterUntil_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.FORMLTests$SimulationTests.simulateTestFile(FORMLTests.java:37)
	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:814)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:498)
	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:496)
	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:520)
	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:496)
	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:496)
	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:496)
	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:695)
	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:483)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 37 in FORMLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

FORMLTests$SimulationTests.[6] AfterBefore_no_ext.crml

org.opentest4j.AssertionFailedError: Unable to translate AfterBefore_no_ext.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate AfterBefore_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.FORMLTests$SimulationTests.simulateTestFile(FORMLTests.java:37)
	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:814)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:498)
	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:496)
	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:520)
	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:496)
	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:496)
	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:496)
	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:695)
	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:483)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 37 in FORMLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

FORMLTests$SimulationTests.[7] AfterFor_no_ext.crml

org.opentest4j.AssertionFailedError: Unable to translate AfterFor_no_ext.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate AfterFor_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.FORMLTests$SimulationTests.simulateTestFile(FORMLTests.java:37)
	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 Clock and Real

	at crml.compiler.crmlVisitorImpl.apply_binary_op(crmlVisitorImpl.java:814)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:498)
	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.visitPeriod_op(crmlVisitorImpl.java:596)
	at crml.compiler.crmlVisitorImpl.visitPeriod_op(crmlVisitorImpl.java:23)
	at grammar.crmlParser$Period_opContext.accept(crmlParser.java:3341)
	at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:523)
	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:650)
	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:462)
	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:336)
	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:134)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 37 in FORMLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

FORMLTests$SimulationTests.[8] CheckAtEnd.crml

org.opentest4j.AssertionFailedError: Unable to translate CheckAtEnd.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate CheckAtEnd.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.FORMLTests$SimulationTests.simulateTestFile(FORMLTests.java:37)
	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: User operator undefined : 'checkid'

	at crml.compiler.crmlVisitorImpl.apply_user_operator(crmlVisitorImpl.java:719)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:538)
	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:336)
	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:134)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 37 in FORMLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

FORMLTests$SimulationTests.[9] FromUntil.crml

org.opentest4j.AssertionFailedError: Unable to translate FromUntil.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate FromUntil.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.FORMLTests$SimulationTests.simulateTestFile(FORMLTests.java:37)
	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: User operator undefined : 'from'

	at crml.compiler.crmlVisitorImpl.apply_user_operator(crmlVisitorImpl.java:719)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:538)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 37 in FORMLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

FORMLTests$SimulationTests.[10] FromUntil_no_ext.crml

org.opentest4j.AssertionFailedError: Unable to translate FromUntil_no_ext.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate FromUntil_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.FORMLTests$SimulationTests.simulateTestFile(FORMLTests.java:37)
	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:814)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:498)
	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:496)
	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:520)
	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:496)
	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:496)
	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:496)
	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:695)
	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:483)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 37 in FORMLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

FORMLTests$SimulationTests.[11] AfterBefore.crml

org.opentest4j.AssertionFailedError: Unable to translate AfterBefore.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate AfterBefore.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.FORMLTests$SimulationTests.simulateTestFile(FORMLTests.java:37)
	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: User operator undefined : 'after'

	at crml.compiler.crmlVisitorImpl.apply_user_operator(crmlVisitorImpl.java:719)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:538)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 37 in FORMLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

FORMLTests$SimulationTests.[12] AfterFor.crml

org.opentest4j.AssertionFailedError: Unable to translate AfterFor.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate AfterFor.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.FORMLTests$SimulationTests.simulateTestFile(FORMLTests.java:37)
	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 Clock and Real

	at crml.compiler.crmlVisitorImpl.apply_binary_op(crmlVisitorImpl.java:814)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:498)
	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.visitPeriod_op(crmlVisitorImpl.java:596)
	at crml.compiler.crmlVisitorImpl.visitPeriod_op(crmlVisitorImpl.java:23)
	at grammar.crmlParser$Period_opContext.accept(crmlParser.java:3341)
	at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visit(AbstractParseTreeVisitor.java:18)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:523)
	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:650)
	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:462)
	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:336)
	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:134)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 37 in FORMLTests$SimulationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

FORMLTests$SimulationTests.[13] AfterUntil.crml

org.opentest4j.AssertionFailedError: Unable to translate AfterUntil.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate AfterUntil.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.FORMLTests$SimulationTests.simulateTestFile(FORMLTests.java:37)
	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: User operator undefined : 'after'

	at crml.compiler.crmlVisitorImpl.apply_user_operator(crmlVisitorImpl.java:719)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:538)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 38 in SpecificationTests$VerificationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

SpecificationTests$VerificationTests.[3] SetOperatorsExample5.crml

org.opentest4j.AssertionFailedError: Unable to translate SetOperatorsExample5.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate SetOperatorsExample5.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:38)
	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 : imply

	at crml.compiler.VariableData.getVariableInfo(VariableData.java:123)
	at crml.compiler.crmlVisitorImpl.visitId(crmlVisitorImpl.java:622)
	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:470)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 38 in SpecificationTests$VerificationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

SpecificationTests$VerificationTests.[11] BooleanAtEvent.crml

org.opentest4j.AssertionFailedError: Unable to translate BooleanAtEvent.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate BooleanAtEvent.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:38)
	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 : b1atc

	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:560)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 38 in SpecificationTests$VerificationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

SpecificationTests$VerificationTests.[14] BooleanOperatorsExample1.crml

org.opentest4j.AssertionFailedError: Unable to translate BooleanOperatorsExample1.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate BooleanOperatorsExample1.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:38)
	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 : (b1==b2)atc

	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:560)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 38 in SpecificationTests$VerificationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

SpecificationTests$VerificationTests.[16] BooleanConjunctionWithEvent_no_ext.crml

org.opentest4j.AssertionFailedError: Unable to translate BooleanConjunctionWithEvent_no_ext.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate BooleanConjunctionWithEvent_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:38)
	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:814)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:498)
	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:496)
	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:695)
	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:483)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 38 in SpecificationTests$VerificationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

SpecificationTests$VerificationTests.[17] ClockNumberOfTicks_no_ext.crml

org.opentest4j.AssertionFailedError: Unable to translate ClockNumberOfTicks_no_ext.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate ClockNumberOfTicks_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:38)
	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:814)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:498)
	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:496)
	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:520)
	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:496)
	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:695)
	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:483)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 38 in SpecificationTests$VerificationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

SpecificationTests$VerificationTests.[19] BooleanIntegration_no_ext.crml

org.opentest4j.AssertionFailedError: Unable to translate BooleanIntegration_no_ext.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate BooleanIntegration_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:38)
	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:814)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:498)
	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:496)
	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:695)
	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:483)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 38 in SpecificationTests$VerificationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

SpecificationTests$VerificationTests.[20] ClockDisjunctionOfClockAndEvent.crml

org.opentest4j.AssertionFailedError: Unable to translate ClockDisjunctionOfClockAndEvent.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate ClockDisjunctionOfClockAndEvent.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:38)
	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 Event

	at crml.compiler.crmlVisitorImpl.apply_binary_op(crmlVisitorImpl.java:814)
	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:498)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more

Check failure on line 38 in SpecificationTests$VerificationTests

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

SpecificationTests$VerificationTests.[21] EventBoundedProjection.crml

org.opentest4j.AssertionFailedError: Unable to translate EventBoundedProjection.crml to Modelica
Raw output
org.opentest4j.AssertionFailedError: Unable to translate EventBoundedProjection.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:38)
	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 : e1proj(d)c

	at crml.compiler.crmlVisitorImpl.visitExp(crmlVisitorImpl.java:560)
	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:447)
	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:126)
	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:112)
	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:184)
	at ctests.Util.runTest(Util.java:38)
	... 46 more