translating tick operator #256
lenaRBAnnotations
50 errors and 1 warning
|
ETLTests$SimulationTests.[1] Id_no_ext.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to load Modelica model Id_no_ext
omc fails with the following message:
false""true"[/usr/bin/../share/omlibrary/cache/index.json:0:0-0:0:readonly] Notification: Cached libraries were found and will be installed into /home/runner/.openmodelica/libraries/.[/home/runner/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo:0:0-0:0:readonly] Notification: Package installed successfully (SHA 74d056ef1b4a89463408ba70fc4ea4db83a6296f).[/home/runner/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo:0:0-0:0:readonly] Notification: Package installed successfully (SHA 74d056ef1b4a89463408ba70fc4ea4db83a6296f).[/home/runner/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo:0:0-0:0:readonly] Notification: Package installed successfully (SHA e68d7a0317c565ee00c1b8d44c527979ea0304bf).[/home/runner/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo:0:0-0:0:readonly] Notification: Package installed successfully (SHA 74d056ef1b4a89463408ba70fc4ea4db83a6296f).[/home/runner/.openmodelica/libraries/ModelicaReference 4.0.0+maint.om/package.mo:0:0-0:0:readonly] Notification: Package installed successfully (SHA 74d056ef1b4a89463408ba70fc4ea4db83a6296f).[/home/runner/.openmodelica/libraries//ModelicaServices 4.0.0+maint.om:0:0-0:0:readonly] Notification: ModelicaServices 4.0.0+maint.om is already installed, skipping.[/home/runner/.openmodelica/libraries/ObsoleteModelica4 4.0.0+maint.om/package.mo:0:0-0:0:readonly] Notification: Package installed successfully (SHA 74d056ef1b4a89463408ba70fc4ea4db83a6296f).[/home/runner/.openmodelica/libraries/index.json:0:0-0:0:readonly] Notification: Downloaded package index from URL https://libraries.openmodelica.org/index/v1/index.json.""""[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/Id_no_ext/Id_no_ext.mo:9:1-9:75:writable] Error: Class CRMLtoModelica.Types.Boolean4 not found in scope Id_no_ext."
|
|
ETLTests$SimulationTests.[2] DecideOver_no_ext.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to translate DecideOver_no_ext.crmlto Modelica :
unable to parse expression : PeriodP1is[newEventb1,newEventnotb1];
|
|
ETLTests$SimulationTests.[3] CheckOver_no_ext.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to translate CheckOver_no_ext.crmlto Modelica :
Built in operator undefined : and on Boolean isSet false
|
|
ETLTests$SimulationTests.[4] CheckOver.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to translate CheckOver.crmlto Modelica :
Built in operator undefined : and on Boolean isSet false
|
|
ETLTests$SimulationTests.[5] TemplateOr.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to load Modelica model TemplateOr
omc fails with the following message:
false""true"""""[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/TemplateOr/TemplateOr.mo:10:1-10:33:writable] Error: Class CRMLtoModelica.Types.Boolean4 not found in scope TemplateOr."{}"Error: Failed to open simulation result TemplateOr_verif_res.mat: No such file or directory"{"Time","_derdummy","_dummy","b1","b1_or_b2","b2","externals.b1","externals.b2","externals.boolean4Constant1.K","externals.boolean4Constant1.y","externals.boolean4Constant2.K","externals.boolean4Constant2.y"}""true""0{"","","","","","","","","","","",""}{}(false,{})"Error: Failed to open simulation result TemplateOr_verif_res.mat: No such file or directoryError: Error opening file: TemplateOr_verif_res.mat"
|
|
ETLTests$SimulationTests.[6] CountInside_no_ext.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to translate CountInside_no_ext.crmlto Modelica :
Built in operator undefined : >= on Real and Period
|
|
ETLTests$SimulationTests.[7] Varying2_no_ext.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to load Modelica model Varying2_no_ext
omc fails with the following message:
false""true"""Check of Varying2_no_ext completed successfully.Class Varying2_no_ext has 0 equation(s) and 0 variable(s).0 of these are trivial equation(s)."""
|
|
ETLTests$SimulationTests.[8] BecomesTrue.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to load Modelica model BecomesTrue
omc fails with the following message:
false""true"""""[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/BecomesTrue/BecomesTrue.mo:11:1-11:33:writable] Error: Class CRMLtoModelica.Types.Boolean4 not found in scope BecomesTrue."
|
|
ETLTests$SimulationTests.[9] DecideOver.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to load Modelica model DecideOver
omc fails with the following message:
false""false"[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/DecideOver/DecideOver.mo:14:42-14:42:writable] Error: Missing token: SEMICOLON""""Error: Failed to load package DecideOver (default) using MODELICAPATH /home/runner/.openmodelica/libraries/.Error: Class DecideOver not found in scope <top>.Error: Class DecideOver not found in scope <TOP>."
|
|
ETLTests$SimulationTests.[10] CountInside.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to translate CountInside.crmlto Modelica :
Built in operator undefined : >= on Real and Period
|
|
ETLTests$SimulationTests.[11] Inside.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to translate Inside.crmlto Modelica :
Built in operator undefined : >= on Real and Period
|
|
ETLTests$SimulationTests.[12] EvaluateOver_no_ext.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to translate EvaluateOver_no_ext.crmlto Modelica :
unable to parse expression : PeriodP1is[newEventb1,newEventnotb1];
|
|
ETLTests$SimulationTests.[13] CteTrue_no_ext.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to load Modelica model CteTrue_no_ext
omc fails with the following message:
false""false"[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CteTrue_no_ext/CteTrue_no_ext.mo:13:26-13:30:writable] Error: Expected token of type GREATER, got 'IDENT' of type IDENT""""Error: Failed to load package CteTrue_no_ext (default) using MODELICAPATH /home/runner/.openmodelica/libraries/.Error: Class CteTrue_no_ext not found in scope <top>.Error: Class CteTrue_no_ext not found in scope <TOP>."
|
|
ETLTests$SimulationTests.[14] TemplateOr_no_ext.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to load Modelica model TemplateOr_no_ext
omc fails with the following message:
false""true"""""[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/TemplateOr_no_ext/TemplateOr_no_ext.mo:10:1-10:75:writable] Error: Class CRMLtoModelica.Types.Boolean4 not found in scope TemplateOr_no_ext."{}"Error: Failed to open simulation result TemplateOr_no_ext_verif_res.mat: No such file or directory"{"Time","_derdummy","_dummy","b_false","b_false_or_false","b_false_or_true","b_false_or_undecided","b_false_or_undefined","b_true","b_true_or_false","b_true_or_true","b_true_or_undecided","b_true_or_undefined","b_undecided","b_undecided_or_false","b_undecided_or_true","b_undecided_or_undecided","b_undecided_or_undefined","b_undefined","b_undefined_or_false","b_undefined_or_true","b_undefined_or_undecided","b_undefined_or_undefined"}""true""0{"","","","","","","","","","","","","","","","","","","","","","",""}{}(false,{})"Error: Failed to open simulation result TemplateOr_no_ext_verif_res.mat: No such file or directoryError: Error opening file: TemplateOr_no_ext_verif_res.mat"
|
|
ETLTests$SimulationTests.[15] EvaluateOver.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to load Modelica model EvaluateOver
omc fails with the following message:
false""false"[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/EvaluateOver/EvaluateOver.mo:14:42-14:42:writable] Error: Missing token: SEMICOLON""""Error: Failed to load package EvaluateOver (default) using MODELICAPATH /home/runner/.openmodelica/libraries/.Error: Class EvaluateOver not found in scope <top>.Error: Class EvaluateOver not found in scope <TOP>."
|
|
ETLTests$SimulationTests.[16] CteFalse_no_ext.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to load Modelica model CteFalse_no_ext
omc fails with the following message:
false""false"[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/CteFalse_no_ext/CteFalse_no_ext.mo:13:27-13:31:writable] Error: Expected token of type GREATER, got 'IDENT' of type IDENT""""Error: Failed to load package CteFalse_no_ext (default) using MODELICAPATH /home/runner/.openmodelica/libraries/.Error: Class CteFalse_no_ext not found in scope <top>.Error: Class CteFalse_no_ext not found in scope <TOP>."
|
|
ETLTests$SimulationTests.[17] old_EnsureAtEnd.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to translate old_EnsureAtEnd.crmlto Modelica :
User operator undefined : 'checkidover'
|
|
ETLTests$SimulationTests.[18] BecomesTrue_no_ext.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to load Modelica model BecomesTrue_no_ext
omc fails with the following message:
false""true"""""[/home/runner/work/crml-compiler/crml-compiler/build/testSuiteGenerated/ETL_test/BecomesTrue_no_ext/BecomesTrue_no_ext.mo:11:1-11:481:writable] Error: Class CRMLtoModelica.Types.Boolean4 not found in scope BecomesTrue_no_ext."
|
|
ETLTests$SimulationTests.[19] Varying1_no_ext.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to load Modelica model Varying1_no_ext
omc fails with the following message:
false""true"""Check of Varying1_no_ext completed successfully.Class Varying1_no_ext has 0 equation(s) and 0 variable(s).0 of these are trivial equation(s)."""
|
|
ETLTests$SimulationTests.[20] Inside_no_ext.crml:
ETLTests$SimulationTests#L50
org.opentest4j.AssertionFailedError: Unable to translate Inside_no_ext.crmlto Modelica :
Built in operator undefined : >= on Real and Period
|
|
ETLTests$TranslationTests.[2] DecideOver_no_ext.crml:
ETLTests$TranslationTests#L31
org.opentest4j.AssertionFailedError: Unable to translate DecideOver_no_ext.crmlto Modelica :
unable to parse expression : PeriodP1is[newEventb1,newEventnotb1];
|
|
ETLTests$TranslationTests.[3] CheckOver_no_ext.crml:
ETLTests$TranslationTests#L31
org.opentest4j.AssertionFailedError: Unable to translate CheckOver_no_ext.crmlto Modelica :
Built in operator undefined : and on Boolean isSet false
|
|
ETLTests$TranslationTests.[4] CheckOver.crml:
ETLTests$TranslationTests#L31
org.opentest4j.AssertionFailedError: Unable to translate CheckOver.crmlto Modelica :
Built in operator undefined : and on Boolean isSet false
|
|
ETLTests$TranslationTests.[6] CountInside_no_ext.crml:
ETLTests$TranslationTests#L31
org.opentest4j.AssertionFailedError: Unable to translate CountInside_no_ext.crmlto Modelica :
Built in operator undefined : >= on Real and Period
|
|
ETLTests$TranslationTests.[10] CountInside.crml:
ETLTests$TranslationTests#L31
org.opentest4j.AssertionFailedError: Unable to translate CountInside.crmlto Modelica :
Built in operator undefined : >= on Real and Period
|
|
ETLTests$TranslationTests.[11] Inside.crml:
ETLTests$TranslationTests#L31
org.opentest4j.AssertionFailedError: Unable to translate Inside.crmlto Modelica :
Built in operator undefined : >= on Real and Period
|
|
ETLTests$TranslationTests.[12] EvaluateOver_no_ext.crml:
ETLTests$TranslationTests#L31
org.opentest4j.AssertionFailedError: Unable to translate EvaluateOver_no_ext.crmlto Modelica :
unable to parse expression : PeriodP1is[newEventb1,newEventnotb1];
|
|
ETLTests$TranslationTests.[17] old_EnsureAtEnd.crml:
ETLTests$TranslationTests#L31
org.opentest4j.AssertionFailedError: Unable to translate old_EnsureAtEnd.crmlto Modelica :
User operator undefined : 'checkidover'
|
|
ETLTests$TranslationTests.[20] Inside_no_ext.crml:
ETLTests$TranslationTests#L31
org.opentest4j.AssertionFailedError: Unable to translate Inside_no_ext.crmlto Modelica :
Built in operator undefined : >= on Real and Period
|
|
SpecificationTests$TranslationTests.[1] SetUnionOfTwoSets.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate SetUnionOfTwoSets.crmlto Modelica :
unable to parse expression : Boolean{}S_unionis<missing ';'>
|
|
SpecificationTests$TranslationTests.[2] EventDisjunction.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate EventDisjunction.crmlto Modelica :
Built in operator undefined : or on Event and Event
|
|
SpecificationTests$TranslationTests.[3] SetConstructors.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate SetConstructors.crmlto Modelica :
unable to parse expression : Real{}S1is]{e1,e2,en};
|
|
SpecificationTests$TranslationTests.[4] PeriodConstructors.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate PeriodConstructors.crmlto Modelica :
unable to parse expression : PeriodP1is[e1,e2];
|
|
SpecificationTests$TranslationTests.[6] BooleanDuration_no_ext.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate BooleanDuration_no_ext.crmlto Modelica :
Built in operator undefined : and on Boolean and Real
|
|
SpecificationTests$TranslationTests.[7] BooleanConstructors.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate BooleanConstructors.crmlto Modelica :
Built in operator undefined : Boolean on Clock isSet false
|
|
SpecificationTests$TranslationTests.[8] BooleanDuration.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate BooleanDuration.crmlto Modelica :
unable to parse expression : Reald_durationis<missing ';'>
|
|
SpecificationTests$TranslationTests.[10] ClockDelay.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate ClockDelay.crmlto Modelica :
Built in operator undefined : + on Clock and Integer
|
|
SpecificationTests$TranslationTests.[11] SetOperatorsExample6.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate SetOperatorsExample6.crmlto Modelica :
Unable to translate in element_def : typeRequirement
|
|
SpecificationTests$TranslationTests.[15] SetCard_no_ext.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate SetCard_no_ext.crmlto Modelica :
Built in operator undefined : card on Real{} isSet true
|
|
SpecificationTests$TranslationTests.[20] ProbabilityExample1.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate ProbabilityExample1.crmlto Modelica :
Unable to translate in element_def : typeRequirement
|
|
SpecificationTests$TranslationTests.[22] PeriodOpeningEvent_no_ext.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate PeriodOpeningEvent_no_ext.crmlto Modelica :
Built in operator undefined : and on Boolean and Real
|
|
SpecificationTests$TranslationTests.[24] SetOperatorsExample7.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate SetOperatorsExample7.crmlto Modelica :
Built in operator undefined : filter on {} isSet true
|
|
SpecificationTests$TranslationTests.[25] StringConcatenationExample2.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate StringConcatenationExample2.crmlto Modelica :
Built in operator undefined : + on Boolean and String
|
|
SpecificationTests$TranslationTests.[26] OperatorExample6.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate OperatorExample6.crmlto Modelica :
unable to get variable type : ticks
|
|
SpecificationTests$TranslationTests.[30] PeriodClosingEvent_no_ext.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate PeriodClosingEvent_no_ext.crmlto Modelica :
Built in operator undefined : and on Boolean and Real
|
|
SpecificationTests$TranslationTests.[33] ClockProjection.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate ClockProjection.crmlto Modelica :
unable to parse expression : Clockc_projectionisc1projc2;
|
|
SpecificationTests$TranslationTests.[34] ClockFilter_no_ext.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate ClockFilter_no_ext.crmlto Modelica :
Built in operator undefined : and on Boolean and Real
|
|
SpecificationTests$TranslationTests.[39] BooleanConjunctionWithEvent_no_ext.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate BooleanConjunctionWithEvent_no_ext.crmlto Modelica :
Built in operator undefined : and on Boolean and Real
|
|
SpecificationTests$TranslationTests.[40] StringConcatenationExample1.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate StringConcatenationExample1.crmlto Modelica :
Built in operator undefined : String on String isSet false
|
|
SpecificationTests$TranslationTests.[50] RealExponentiation.crml:
SpecificationTests$TranslationTests#L54
org.opentest4j.AssertionFailedError: Unable to translate RealExponentiation.crmlto Modelica :
Built in operator undefined : ^ on Real and Real
|
|
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/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
crml-compiler-all.jar
Expired
|
24.7 MB |
|
|
tests-and-results
Expired
|
16.4 MB |
|