Thomas Davie
lappybob$ ./hellSort [6,4,2,9,10,9,3]
[2,3,4,6,9,10,9] ^CKilled
This looks like a problem straight-away. The "Killed" message indicates that your OS is killing the program and truncating the trace file, whereas the ^C signal ought to be caught nicely, allowing the program to finish flushing the trace file to disc.
hat-detect (error): file hellSort.hat is too short
Yup, looks like the trace file was incompletely written to disc. In the given example program, you don't actually need to ^C it - just give it a blank line as input and it should terminate normally. Given that, I was able to use hat-observe and hat-trail successfully, but the current CVS versions of hat-detect and hat-check are slightly broken (they don't deal correctly with DoLambda 0x5). Regards, Malcolm