make input/outputs optional with a flag, fix within in 2 test cases #382
lenaRBAnnotations
50 errors and 3 warnings
|
ETLTests$SimulationTests.[1] BecomesFalseInside.crml:
ETLTests$SimulationTests#L53
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/BecomesFalseInside.crml.mos
|
|
ETLTests$SimulationTests.[2] EvaluateOver.crml:
ETLTests$SimulationTests#L53
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/EvaluateOver.crml.mos
|
|
ETLTests$SimulationTests.[9] CountInside.crml:
ETLTests$SimulationTests#L53
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/CountInside.crml.mos
|
|
ETLTests$SimulationTests.[15] CheckOver.crml:
ETLTests$SimulationTests#L53
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/CheckOver.crml.mos
|
|
ETLTests$SimulationTests.[16] DecideOver.crml:
ETLTests$SimulationTests#L53
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/DecideOver.crml.mos
|
|
ETLTests$SimulationTests.[17] CheckOver_no_ext.crml:
ETLTests$SimulationTests#L53
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/CheckOver_no_ext.crml.mos
|
|
ETLTests$SimulationTests.[20] Inside.crml:
ETLTests$SimulationTests#L53
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/Inside.crml.mos
|
|
ETLTests$SimulationTests.[31] BecomesTrueInside.crml:
ETLTests$SimulationTests#L53
org.opentest4j.AssertionFailedError: Unable to run Modelica script /home/runner/work/crml-compiler/crml-compiler/BecomesTrueInside.crml.mos
|
|
SpecificationTests$VerificationTests.[4] EventDisjunction.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate EventDisjunction.crml to Modelica
|
|
SpecificationTests$VerificationTests.[5] SetFlattening.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate SetFlattening.crml to Modelica
|
|
SpecificationTests$VerificationTests.[6] RealAtEvent.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate RealAtEvent.crml to Modelica
|
|
SpecificationTests$VerificationTests.[8] SetOperatorsExample7.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate SetOperatorsExample7.crml to Modelica
|
|
SpecificationTests$VerificationTests.[14] EventBoundedProjection.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate EventBoundedProjection.crml to Modelica
|
|
SpecificationTests$VerificationTests.[16] BooleanDuration.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate BooleanDuration.crml to Modelica
|
|
SpecificationTests$VerificationTests.[17] SetConstructors.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate SetConstructors.crml to Modelica
|
|
SpecificationTests$VerificationTests.[19] BooleanAtEvent_no_ext.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate BooleanAtEvent_no_ext.crml to Modelica
|
|
SpecificationTests$VerificationTests.[21] SetFilter.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate SetFilter.crml to Modelica
|
|
SpecificationTests$VerificationTests.[23] ProbabilityConstructors.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate ProbabilityConstructors.crml to Modelica
|
|
SpecificationTests$VerificationTests.[24] SetUnionOfAnElementWithASet.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate SetUnionOfAnElementWithASet.crml to Modelica
|
|
SpecificationTests$VerificationTests.[27] IntegerAtEvent.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate IntegerAtEvent.crml to Modelica
|
|
SpecificationTests$VerificationTests.[29] BooleanConstructors_no_ext.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate BooleanConstructors_no_ext.crml to Modelica
|
|
SpecificationTests$VerificationTests.[31] ClockDisjunctionOfClocks.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate ClockDisjunctionOfClocks.crml to Modelica
|
|
SpecificationTests$VerificationTests.[33] ClockCurrentTick_no_ext.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate ClockCurrentTick_no_ext.crml to Modelica
|
|
SpecificationTests$VerificationTests.[34] BooleanConjunctionWithEvent.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate BooleanConjunctionWithEvent.crml to Modelica
|
|
SpecificationTests$VerificationTests.[35] SetOperatorsExample8.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate SetOperatorsExample8.crml to Modelica
|
|
SpecificationTests$VerificationTests.[36] ClockDisjunctionOfEventAndClock.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate ClockDisjunctionOfEventAndClock.crml to Modelica
|
|
SpecificationTests$VerificationTests.[37] StringConcatenationExample1.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate StringConcatenationExample1.crml to Modelica
|
|
SpecificationTests$VerificationTests.[38] OperatorExample1.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate OperatorExample1.crml to Modelica
|
|
SpecificationTests$VerificationTests.[48] SetCard.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate SetCard.crml to Modelica
|
|
SpecificationTests$VerificationTests.[51] RealAsin.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate RealAsin.crml to Modelica
|
|
SpecificationTests$VerificationTests.[52] ClockConstructors_no_ext.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate ClockConstructors_no_ext.crml to Modelica
|
|
SpecificationTests$VerificationTests.[53] OperatorExample5.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate OperatorExample5.crml to Modelica
|
|
SpecificationTests$VerificationTests.[55] SetOperatorsExample5.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate SetOperatorsExample5.crml to Modelica
|
|
SpecificationTests$VerificationTests.[56] BooleanIntegration_no_ext.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate BooleanIntegration_no_ext.crml to Modelica
|
|
SpecificationTests$VerificationTests.[59] EventElapsedPhysicalTime_no_ext.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate EventElapsedPhysicalTime_no_ext.crml to Modelica
|
|
SpecificationTests$VerificationTests.[60] ClockFilter_no_ext.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate ClockFilter_no_ext.crml to Modelica
|
|
SpecificationTests$VerificationTests.[61] EventStrictlyBefore.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate EventStrictlyBefore.crml to Modelica
|
|
SpecificationTests$VerificationTests.[62] EventElapsed.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate EventElapsed.crml to Modelica
|
|
SpecificationTests$VerificationTests.[63] ClockConjunctionOfClockAndEvent.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate ClockConjunctionOfClockAndEvent.crml to Modelica
|
|
SpecificationTests$VerificationTests.[64] ClockProjection.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate ClockProjection.crml to Modelica
|
|
SpecificationTests$VerificationTests.[67] SetCard_no_ext.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate SetCard_no_ext.crml to Modelica
|
|
SpecificationTests$VerificationTests.[69] SetOperatorsExample9.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate SetOperatorsExample9.crml to Modelica
|
|
SpecificationTests$VerificationTests.[70] BooleanConstructors.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate BooleanConstructors.crml to Modelica
|
|
SpecificationTests$VerificationTests.[73] IntegerOperatorsExample1.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate IntegerOperatorsExample1.crml to Modelica
|
|
SpecificationTests$VerificationTests.[74] RealExponentiation.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate RealExponentiation.crml to Modelica
|
|
SpecificationTests$VerificationTests.[75] BooleanAtEvent.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate BooleanAtEvent.crml to Modelica
|
|
SpecificationTests$VerificationTests.[76] EventDelay.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate EventDelay.crml to Modelica
|
|
SpecificationTests$VerificationTests.[77] EventElapsed_no_ext.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate EventElapsed_no_ext.crml to Modelica
|
|
SpecificationTests$VerificationTests.[78] ClockDisjunctionOfClockAndEvent.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate ClockDisjunctionOfClockAndEvent.crml to Modelica
|
|
SpecificationTests$VerificationTests.[79] ClockBoundedProjection.crml:
SpecificationTests$VerificationTests#L39
org.opentest4j.AssertionFailedError: Unable to translate ClockBoundedProjection.crml to Modelica
|
|
build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2, actions/upload-artifact@v2, mikepenz/action-junit-report@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "crml-compiler-all.jar", "tests-and-results".
Please update your workflow to use v4 of the artifact actions.
Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
crml-compiler-all.jar
|
24.9 MB |
|
|
tests-and-results
|
6.52 MB |
|