Not.tst should read:
load Not.hdl,
output-file Not.out,
compare-to Not.cmp,
output-list in%B3.1.3 out%B3.1.3;
...
You can comment out the "compare-to" command to get the a test to run to completion without checking for errors.
Hint: You can hit "run" and "step" buttons after a test stops with a miscompare. This will continue the test to the next miscompare. It is often useful to see several miscompares to detect a problem pattern.
Test syntax is in
Appendix B.
--Mark