Skip to content

Fix broke CI for failing tests

Error during test occurs:

[2024-03-20 08:12:08] Running test: ./tests/integrationtests/applications/tmc/use-cases/tst_tmc_usecases
[2024-03-20 08:12:08] Detected locale "C" with character encoding "ANSI_X3.4-1968", which is not UTF-8.
[2024-03-20 08:12:08] Qt depends on a UTF-8 locale, and has switched to "C.UTF-8" instead.
[2024-03-20 08:12:08] If this causes problems, reconfigure your locale. See the locale(1) manual
[2024-03-20 08:12:08] Running TMC test: test_dekker.sh'
[2024-03-20 08:12:08] for more information.
[2024-03-20 08:12:08] Detected locale "C" with character encoding "ANSI_X3.4-1968", which is not UTF-8.
[2024-03-20 08:12:08] Qt depends on a UTF-8 locale, and has switched to "C.UTF-8" instead.
[2024-03-20 08:12:08] If this causes problems, reconfigure your locale. See the locale(1) manual
[2024-03-20 08:12:08] for more information.
[2024-03-20 08:12:08] grantlee.customtype: Don't know how to handle metatype ive::ExportableIVFunctionType
[2024-03-20 08:12:12] Starting conversion.
[2024-03-20 08:12:12] Reading InterfaceView from /builds/taste/spacecreator/spacecreator_build_qt6/tests/integrationtests/applications/tmc/use-cases/resources/dekker1/interfaceview.xml
[2024-03-20 08:12:12] Using the following SDL functions: LockB, SharedMemory, LockA
[2024-03-20 08:12:12] Using the following ENV functions: TestGUI
[2024-03-20 08:12:12] Using the following ENV data types: T-WriteRequest, T-WriteRequest
[2024-03-20 08:12:12] Converting SDL files:
[2024-03-20 08:12:12] /builds/taste/spacecreator/spacecreator_build_qt6/tests/integrationtests/applications/tmc/use-cases/resources/dekker1/work/lockb/SDL/src/system_structure.pr
[2024-03-20 08:12:12] /builds/taste/spacecreator/spacecreator_build_qt6/tests/integrationtests/applications/tmc/use-cases/resources/dekker1/work/lock/SDL/src/lock.pr
[2024-03-20 08:12:12] to:
[2024-03-20 08:12:12] /builds/taste/spacecreator/spacecreator_build_qt6/tests/integrationtests/applications/tmc/use-cases/output_dekker/lockb.pml
[2024-03-20 08:12:12] Executing: sdl2promela with args:
[2024-03-20 08:12:12] --sdl
[2024-03-20 08:12:12] /builds/taste/spacecreator/spacecreator_build_qt6/tests/integrationtests/applications/tmc/use-cases/resources/dekker1/work/lockb/SDL/src/system_structure.pr
[2024-03-20 08:12:12] /builds/taste/spacecreator/spacecreator_build_qt6/tests/integrationtests/applications/tmc/use-cases/resources/dekker1/work/lock/SDL/src/lock.pr
[2024-03-20 08:12:12] -o
[2024-03-20 08:12:12] /builds/taste/spacecreator/spacecreator_build_qt6/tests/integrationtests/applications/tmc/use-cases/output_dekker/lockb.pml
[2024-03-20 08:12:12] Elapsed time: 8ms
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:ASN.1 compiler failed - ASN.1 Compiler error (exit code = 4) - b"Warning: Signature of macro 'EmitPrimitiveType' of custom stg file '/tmp/OG_ASN1SCC_dserlr4m/pretty_print_asn1.stg' has changed from\n  EmitPrimitiveType(sColor, sTasName, sTasNameC, sAsnKindName, sMinBytes, sMaxBytes, sMaxBitsExplained, sCommentLine, sAsn1Constraints, sMinBits, sMaxBits, arrsCommentsm, soUnit)\nto\n  EmitPrimitiveType(sColor, sTasName, sTasNameC, sAsnKindName, sMinBytes, sMaxBytes, sMaxBitsExplained, sCommentLine, sAsn1Constraints, sMinBits, sMaxBits, arrsComments)\nConsider updating your custom stg file '/tmp/OG_ASN1SCC_dserlr4m/pretty_print_asn1.stg' to comply to the new signature.\n\nCan't load template 'EmmitTass.st'\n   at Antlr.StringTemplate.StringTemplateGroup.LookupTemplate(StringTemplate enclosingInstance, String name)\n   at Antlr.StringTemplate.StringTemplateGroup.GetInstanceOf(StringTemplate enclosingInstance, String name)\n   at Antlr.StringTemplate.StringTemplateGroup.GetInstanceOf(String name)\n   at ST.call_generic[a](String fileName, String macroName, IEnumerable`1 attrs) in /home/taste/GitLocal/asn1scc/ST/ST.fs:line 208\n   at GenerateUperIcd.tases@357-2.Invoke(IcdTypeAssignment x) in /home/taste/GitLocal/asn1scc/BackendAst/GenerateUperIcd.fs:line 357\n   at Microsoft.FSharp.Collections.Internal.IEnumerator.map@75.DoMoveNext(b& curr) in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 78\n   at Microsoft.FSharp.Collections.Internal.IEnumerator.MapEnumerator`1.System.Collections.IEnumerator.MoveNext() in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 64\n   at Microsoft.FSharp.Collections.Internal.IEnumerator.map@75.DoMoveNext(b& curr) in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 77\n   at Microsoft.FSharp.Collections.Internal.IEnumerator.MapEnumerator`1.System.Collections.IEnumerator.MoveNext() in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 64\n   at System.Collections.Generic.List`1..ctor(IEnumerable`1 collection)\n   at Microsoft.FSharp.Collections.SeqModule.ToArray[T](IEnumerable`1 source) in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 825\n   at icd_uper.EmmitModule(String fileName, String sModName, IEnumerable`1 arrsComments, IEnumerable`1 arrsTases) in /home/taste/GitLocal/asn1scc/StgVarious/icdtemplate_uper.gen.fs:line 204\n   at GenerateUperIcd.modules@363-1.Invoke(Asn1Module m) in /home/taste/GitLocal/asn1scc/BackendAst/GenerateUperIcd.fs:line 363\n   at Microsoft.FSharp.Collections.Internal.IEnumerator.map@75.DoMoveNext(b& curr) in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 78\n   at Microsoft.FSharp.Collections.Internal.IEnumerator.MapEnumerator`1.System.Collections.IEnumerator.MoveNext() in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 64\n   at Microsoft.FSharp.Collections.Internal.IEnumerator.map@75.DoMoveNext(b& curr) in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 77\n   at Microsoft.FSharp.Collections.Internal.IEnumerator.MapEnumerator`1.System.Collections.IEnumerator.MoveNext() in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 64\n   at System.Collections.Generic.List`1..ctor(IEnumerable`1 collection)\n   at Microsoft.FSharp.Collections.SeqModule.ToArray[T](IEnumerable`1 source) in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 825\n   at icd_uper.EmmitFile(String fileName, String sAsnFileName, IEnumerable`1 arrsModules) in /home/taste/GitLocal/asn1scc/StgVarious/icdtemplate_uper.gen.fs:line 208\n   at GenerateUperIcd.files1@433.Invoke(Asn1File f) in /home/taste/GitLocal/asn1scc/BackendAst/GenerateUperIcd.fs:line 433\n   at Microsoft.FSharp.Collections.Internal.IEnumerator.map@75.DoMoveNext(b& curr) in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 78\n   at Microsoft.FSharp.Collections.Internal.IEnumerator.MapEnumerator`1.System.Collections.IEnumerator.MoveNext() in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 64\n   at Microsoft.FSharp.Collections.Internal.IEnumerator.map@75.DoMoveNext(b& curr) in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 77\n   at Microsoft.FSharp.Collections.Internal.IEnumerator.MapEnumerator`1.System.Collections.IEnumerator.MoveNext() in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 64\n   at System.Collections.Generic.List`1..ctor(IEnumerable`1 collection)\n   at Microsoft.FSharp.Collections.SeqModule.ToArray[T](IEnumerable`1 source) in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 825\n   at icd_uper.RootHtml(String fileName, IEnumerable`1 arrsFiles1, IEnumerable`1 arrsFiles2, Boolean bIntegerSizeMustBeExplained, Boolean bRealSizeMustBeExplained, Boolean bLengthSizeMustBeExplained, Boolean bWithComponentMustBeExplained, Boolean bZeroBitsMustBeExplained) in /home/taste/GitLocal/asn1scc/StgVarious/icdtemplate_uper.gen.fs:line 215\n   at GenerateUperIcd.DoWork(AstRoot r, String stgFileName, String outFileName) in /home/taste/GitLocal/asn1scc/BackendAst/GenerateUperIcd.fs:line 451\n   at Program.main0@346-3.Invoke(CliArguments arg) in /home/taste/GitLocal/asn1scc/asn1scc/Program.fs:line 355\n   at Microsoft.FSharp.Collections.SeqModule.Iterate[T](FSharpFunc`2 action, IEnumerable`1 source) in F:\\workspace\\_work\\1\\s\\src\\fsharp\\FSharp.Core\\seq.fs:line 497\n   at Program.main0(String[] argv) in /home/taste/GitLocal/asn1scc/asn1scc/Program.fs:line 346\n"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_ProcID not found in ASN.1 model
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_Boolean not found in ASN.1 model
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_WriteRequest not found in ASN.1 model
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_WriteAccess not found in ASN.1 model
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_ProcID not found in ASN.1 model
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_Boolean not found in ASN.1 model
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In procedure get_sender: Type PID not found in ASN.1 model(line 35)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_Boolean not found in ASN.1 model - "remoteWantsToEnter T_Boolean"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_UInt8 not found in ASN.1 model - "writeSize T_UInt8"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_ProcID not found in ASN.1 model - "myProcID T_ProcID"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_ProcID not found in ASN.1 model - "remoteProcID T_ProcID"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_ProcID not found in ASN.1 model - "turn T_ProcID"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_WriteAccess not found in ASN.1 model - "myWriteValue T_WriteAccess"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_UInt8 not found in ASN.1 model - "writeCount T_UInt8"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_Boolean not found in ASN.1 model - "turnError T_Boolean"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_Boolean not found in ASN.1 model - "contentionError T_Boolean"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_WriteRequest not found in ASN.1 model - "writeRequest T_WriteRequest"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type T_UInt16 not found in ASN.1 model - "startAddress T_UInt16"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In "remoteWantsToEnter := false": Type mismatch (UnknownType vs BooleanType - Type reference is unknown)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In "turn := 0": Type mismatch (UnknownType vs IntegerType - Type reference is unknown)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In "turnError := false": Type mismatch (UnknownType vs BooleanType - Type reference is unknown)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type reference is unknown - "1 - myProcID"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Check that all your numerical data types have a range constraint - "1 - myProcID"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In "remoteProcID := 1 - myProcID": Type mismatch (UnknownType vs UnknownType - Cannot resolve type of "1 - myProcID")
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Wrong number of parameters or type mismatch
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Expected 0 arguments in call to wanttoenter (1 received) - WantToEnter(true)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In "writeCount := 0": Type mismatch (UnknownType vs IntegerType - Type reference is unknown)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In "turnError := true": Type mismatch (UnknownType vs BooleanType - Type reference is unknown)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Cannot resolve type of "myProcID" - "turn = myProcID"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Expected 0 arguments in call to wanttoenter (1 received) - WantToEnter(true)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In "writeCount := 0": Type mismatch (UnknownType vs IntegerType - Type reference is unknown)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Expected 0 arguments in call to wanttoenter (1 received) - WantToEnter(false)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Cannot resolve type of "myProcID" - "turn = myProcID"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type reference is unknown - "remoteWantsToEnter = false"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Wrong number of parameters or type mismatch
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Wrong number of parameters or type mismatch
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type UnknownType not supported in call to writeln - writeln('proc ', myProcID, ' write request')
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In "writeCount := 0": Type mismatch (UnknownType vs IntegerType - Type reference is unknown)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In call to length: Type of parameter 1 is incorrect (UnknownType) - Cannot resolve type of "writeRequest.values" - "length(writeRequest.values)"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In "writeSize := length(writeRequest.values)": Type mismatch (UnknownType vs UnknownType - Cannot resolve type of "length(writeRequest.values)")
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Expected 0 arguments in call to wanttoenter (1 received) - WantToEnter(true)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type mismatch: question (remoteWantsToEnter, type=UnknownType), answer (true, type=BooleanType) Type reference is unknown
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type mismatch: question (remoteWantsToEnter, type=UnknownType), answer (false, type=BooleanType) Type reference is unknown
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Cannot resolve type of "writeCount" - "writeRequest.start_address + writeCount"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Check that all your numerical data types have a range constraint - "writeRequest.start_address + writeCount"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In "myWriteValue.write_address :=
[2024-03-20 08:12:12] writeRequest.start_address + writeCount": Type mismatch (UnknownType vs UnknownType - Cannot resolve type of "writeRequest.start_address + writeCount")
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Index can only be applied to type SequenceOf - "writeRequest.values(writeCount)"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In "myWriteValue.write_value := writeRequest.values(writeCount)": Type mismatch (UnknownType vs UnknownType - Cannot resolve type of "writeRequest.values(writeCount)")
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Expected 0 arguments in call to memwrite (1 received) - MemWrite(myWriteValue)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Type reference is unknown - "writeCount + 1"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Check that all your numerical data types have a range constraint - "writeCount + 1"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In "writeCount := (writeCount + 1)": Type mismatch (UnknownType vs UnknownType - Cannot resolve type of "writeCount + 1")
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Cannot resolve type of "writeSize" - "writeCount < writeSize"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Operands in relational expressions must be numerical - "writeCount < writeSize"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:In "turn := remoteProcID": Type mismatch (UnknownType vs UnknownType - Cannot resolve type of "remoteProcID")
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Expected 0 arguments in call to setturn (1 received) - SetTurn(turn)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Expected 0 arguments in call to wanttoenter (1 received) - WantToEnter(false)
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Cannot resolve type of "writeSize" - "writeCount >= writeSize"
[2024-03-20 08:12:12] ERROR:opengeode.opengeode:Operands in relational expressions must be numerical - "writeCount >= writeSize"
[2024-03-20 08:12:12] ERROR:sdl2promela:Error: found 60 errors: