Skip to content

Postcondition Trap77 when running the basic example from documentation #12

Description

@WildPenquin

Hi,

I can not get this to work currently. The very basic example crashes with an error when running MultiBUGS with TRAP 77 (postcondition violated).

This is on Linux and I'm using the multibugs binary from https://www.multibugs.org/

Image
TRAP 77  (postcondition violated)

 MPImaster.Install   [0000009DH] 
	.args	POINTER	NIL
	.nargs	INTEGER	-200966619
 BugsMaster.Init   [000012F9H] 
	.item	Meta.Item	fields
 BugsMaster.$$   [00000009H] 
 Kernel.InitModule   [0000182FH] 
	.body	PROCEDURE	BugsMaster.$$
	.errno	INTEGER	-135341056
	.mod	POINTER	[F4059000H]
	.res	INTEGER	0
 Kernel.RegisterMod   [00001FABH] 
	.i	INTEGER	39
	.mod	POINTER	[F4059000H]
	.t	INTEGER	1762516042
	.tm	POINTER	NIL
 StdLoader.LoadMod   [000011F5H] 
	.i	StdLoader.ModSpec	NIL
	.j	INTEGER	0
	.mod	StdLoader.ModSpec	[F40C8FB0H] 
	.ok	BOOLEAN	undefined: 255
 StdLoader.Hook.ThisMod   [000012D4H] 
	.h	StdLoader.Hook	[00010690H] 
	.m	POINTER	NIL
	.ms	StdLoader.ModSpec	[F40C8FB0H] 
	.name	ARRAY 1024 OF CHAR	"BugsMaster"   ...
 Kernel.ThisMod   [0000192BH] 
	.name	ARRAY 1024 OF CHAR	"BugsMaster"   ...
 Meta.Lookup   [00000880H] 
	.done	BOOLEAN	FALSE
	.filter	Meta.FilterHook	NIL
	.m	POINTER	NIL
	.mod	Meta.Item	fields
	.name	ARRAY 1024 OF CHAR	"BugsMaster"   ...
 BugsInterpreter.CmdInterpreter   [000002C9H] 
	.boolCmd	BugsInterpreter.RECORD	fields
	.cmd	BugsInterpreter.RECORD	fields
	.command	ARRAY 1024 OF CHAR	"BugsCmds DistributeGuard  BugsCm"   ...
	.guard	BugsInterpreter.RECORD	fields
	.intCmd	BugsInterpreter.RECORD	fields
	.item	Meta.Item	fields
	.item0	Meta.Item	fields
	.item1	Meta.Item	fields
	.msg	Dialog.String	""   ...
	.ok	BOOLEAN	TRUE
	.par	Dialog.Par	fields
	.realCmd	BugsInterpreter.RECORD	fields
	.res	INTEGER	0
	.s	BugsMappers.Scanner	fields
	.string	ARRAY 1024 OF CHAR	"BugsCmds DistributeGuard  BugsCm"   ...
	.stringCmd	BugsInterpreter.RECORD	fields
 BugsScripting.Script   [00000589H] 
	.bugsCommand	ARRAY 1024 OF CHAR	"modelDistribute(i)"   ...
	.i	INTEGER	1
	.numPar	INTEGER	1
	.p	ARRAY 10, 1024 OF CHAR	elements
	.pascalCommand	ARRAY 1024 OF CHAR	"BugsCmds.DistributeGuard; BugsCm"   ...
	.pat	ARRAY 1024 OF CHAR	"^0"   ...
	.pos	INTEGER	-1
	.pos1	INTEGER	17
	.res	INTEGER	0
	.s	BugsMappers.Scanner	fields
 BugsCmds.ScriptAction.Do   [000009BAH] 
	.a	BugsCmds.ScriptAction	[F42FBBB0H] 
	.bugsCommand	ARRAY 1024 OF CHAR	"modelDistribute(i)"   ...
	.errorMsg	ARRAY 1024 OF CHAR	"!"   ...
	.pos	INTEGER	163165728
	.res	INTEGER	0
 Services.Exec   [00000140H] 
	.a	Services.Action	[F42FBBB0H] 
	.t	POINTER	[F40E1C68H]
 Services.IterateOverActions   [000002F2H] 
	.p	Services.Action	[F42FBBB0H] 
	.time	LONGINT	4431586
 Services.StdHook.Step   [0000034BH] 
	.h	Services.StdHook	[00033D00H] 
 HostWindows.Idle   [000037E9H] 
	.focus	BOOLEAN	FALSE
	.tick	Controllers.TickMsg	fields
	.w	HostWindows.Window	NIL
 HostMenus.TimerTick   [00001168H] 
	.notUsed0	INTEGER	0
	.notUsed1	INTEGER	0
	.notUsed2	INTEGER	0
	.ops	Controllers.PollOpsMsg	fields
 Kernel.Try   [000040AAH] 
	.a	INTEGER	0
	.b	INTEGER	0
	.c	INTEGER	0
	.h	PROCEDURE	HostMenus.TimerTick
	.oldContext	POINTER	NIL
	.res	INTEGER	0
 HostMenus.DoTimerTick   [000011F6H] 
	.data	INTEGER	0
<system>   (pc=F6E10CD1H,  fp=FF9EDAD8H)
<system>   (pc=F6E0F046H,  fp=FF9EDB48H)
<system>   (pc=F6E104BCH,  fp=FF9EDBA8H)
<system>   (pc=F6E1080EH,  fp=FF9EDBC8H)
<system>   (pc=F73F7647H,  fp=00000000H)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions