[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[creduce-bugs] Crash while starting up owing to incorrect test script

"Andy" == Andy Champ <achamp at broadcom.com> writes:

	Andy> I've checked the archives, and I can't see this. It's trivially
	Andy> reproduced, and quite confusing.
	Andy> My check script to reproduce is as follows:
	Andy> #!/bin/bash
	Andy> exit 1
	Andy> When I run it I get this error:
	Andy> test (and sanity check) fails at /usr/local/bin/creduce line 205.

Unix scripts generally return 0 for "no error" and non-zero for "error."
That is what C-Reduce expects.

The error message above tells you that your script failed for the initial

	Andy> cannot remove path when cwd is /tmp/creduce-hP2fgi for
	Andy> /tmp/creduce-hP2fgi: at /usr/share/perl/5.14/File/Temp.pm line
	Andy> 902

Generally, these warnings can be ignored.

I'm sure I've actually answered your question...


Eric Eide <eeide at cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX