"Tuyen" == Tuyen Hoang <[email protected]> writes: Tuyen> $ creduce ./test1.sh small.c Tuyen> ===< 20948 >===File] Tuyen> running 1 interestingness test(s) in parallel Tuyen> small.best: No such file or directory at /usr/local/bin/creduce Tuyen> line 680
Please download the current version of C-Reduce from GitHub (commit a712a23) and try again. I just committed a change that I hope fixes the problem you are seeing. Thanks! --- Eric. -- ------------------------------------------------------------------------------- Eric Eide <[email protected]> . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX
