Gavin,
>It would be nice if one could say:
>
> :RUN MYPROG;UNSAT=MISSING
>
>where "MISSING" was an entrypoint in MYPROG, but unfortunately the loader
>does not seem to support this, so you would have to provide the "MISSING"
>function in an XL.
Ah. I missed that point. In my case, I was not using the RUN;UNSAT
but simply supplying a stub routine when linking the program. Thus
I haven't faced the UNSAT specific problem. Thanks for the insight.
Lars.
* To join/leave the list, search archives, change list settings, *
* etc., please visit http://raven.utc.edu/archives/hp3000-l.html *