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)