TRAP 99 (postcondition violated)
BugsSerialize.Externalize [0000053EH]
.f Files.File [02B5D570H]
.fileName ARRAY 1024 OF CHAR "D:/TrialRun/SLR/bugs_model.bug" ...
.offsetGraph INTEGER 1152
.offsetMonitor INTEGER 6137
.offsetMutable INTEGER 5281
.pos INTEGER 0
.res INTEGER 1
.wr Stores.Writer fields
BugsCmds.ExternalizeModel [00002835H]
.fileName ARRAY 1024 OF CHAR "D:/TrialRun/SLR/bugs_model.bug" ...
BugsInterpreter.CmdInterpreter [000003C1H]
.boolCmd BugsInterpreter.RECORD fields
.cmd BugsInterpreter.RECORD fields
.command ARRAY 1024 OF CHAR "BugsCmds UpdateGuard BugsCmds E" ...
.guard BugsInterpreter.RECORD fields
.intCmd BugsInterpreter.RECORD fields
.item Meta.Item fields
.item0 Meta.Item fields
.item1 Meta.Item fields
.ok BOOLEAN TRUE
.realCmd BugsInterpreter.RECORD fields
.res INTEGER 0
.s BugsMappers.Scanner fields
.string ARRAY 1024 OF CHAR "BugsCmds UpdateGuard BugsCmds E" ...
.stringCmd BugsInterpreter.RECORD fields
BugsScripting.Script [000005BCH]
.bugsCommand ARRAY 1024 OF CHAR "modelExternalize(s)" ...
.i INTEGER 1
.numPar INTEGER 1
.p ARRAY 10, 1024 OF CHAR elements
.pascalCommand ARRAY 1024 OF CHAR "BugsCmds.UpdateGuard; BugsCmds.E" ...
.pat ARRAY 1024 OF CHAR "^0" ...
.pos INTEGER -1
.pos1 INTEGER 18
.res INTEGER 0
.s BugsMappers.Scanner fields
BugsCmds.ScriptAction.Do [000011A5H]
.a BugsCmds.ScriptAction [02D0EAB0H]
.res INTEGER 0
Services.Exec [00000140H]
.a Services.Action [02D0EAB0H]
.t POINTER [68280BB0H]
Services.IterateOverActions [000002F2H]
.p Services.Action [02D0EAB0H]
.time LONGINT 88027687
Services.StdHook.Step [0000034BH]
.h Services.StdHook [02B75A00H]
HostWindows.Idle [000049DBH]
.focus BOOLEAN FALSE
.tick Controllers.TickMsg fields
.w HostWindows.Window NIL
HostMenus.TimerTick [00003675H]
.lParam INTEGER 0
.ops Controllers.PollOpsMsg fields
.wParam INTEGER 1
.wnd INTEGER 394252
Kernel.Try [000045F9H]
.a INTEGER 394252
.b INTEGER 1
.c INTEGER 0
.h PROCEDURE HostMenus.TimerTick
HostMenus.ApplWinHandler [00003A40H]
.Proc PROCEDURE NIL
.hit BOOLEAN FALSE
.lParam INTEGER 0
.message INTEGER 275
.res INTEGER 0
.s ARRAY 256 OF CHAR "?c????" ...
.w INTEGER 63
.wParam INTEGER 1
.wnd INTEGER 394252
<system> (pc=7717BE6AH, fp=0063FCB0H)
<system> (pc=77178339H, fp=0063FD98H)
<system> (pc=77177BEDH, fp=0063FE14H)
<system> (pc=771779CFH, fp=0063FE20H)
HostMenus.Loop [00003DDDH]
.done BOOLEAN FALSE
.f SET {0..5}
.n INTEGER 0
.res INTEGER 0
.w HostWindows.Window NIL
Kernel.Start [000036E3H]
.code PROCEDURE HostMenus.Loop
Using the latest build of MultiBUGS with the latest R2MultiBUGS
When run with 'saveExec = TRUE', the following message appears in the MultiBUGS window: