I recently had a crash while running ProofPower on PolyML, which I reported to Rob Arthan who advised:

I'd say this is one for the Poly/ML mailing list. Just say that you're running poly using the script pp that

comes

with ProofPower and that the last four lines of output come from the script. If you want to look into the

driver code

yourself, you will find that the first line comes from a C

function

MD_trap_handler1 in i386_dep.c.

The output at the point of crash was:

======================================= Can't process access violation fault at 20186162

/usr/local/pp/bin/pp: line 217: 1115 Aborted (core dumped) $RUNML$DATABASEFN pp: "poly /home/rbj/rbjones.com/build/rbjpub/pp/pp.polydb" exited with status 134

=======================================

So far I have had no repetition of this so I don't have a clue whether it is reproducible.

Any advice welcomed.

Eoger Jones

- rbj01 at rbjones.com plain text email please (non-executable attachments are OK)