when i try running 'make regress' in klee/, it doesn't work at all. all it seems to do is to go into klee/regression and run 'make' in there. is that a regression suite that you guys have been actively maintaining, or is it deprecated? thanks.
there are lots of errors of the following form: $ make regress make -C regression make[1]: Entering directory `/home/pgbovine/klee-uc/regression' -- Testing: alias-to-symbolic-01 -- make[2]: *** No rule to make target `Output/alias-to-symbolic-01.runtest', needed by `test'. Stop. fail: alias-to-symbolic-01 -- make failed -- Testing: apr-snprintf -- make[2]: *** No rule to make target `Output/apr-snprintf.runtest', needed by `test'. Stop. fail: apr-snprintf -- make failed -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20090207/96c11fc8/attachment.html
