Open xinzhuohuZJU opened 6 months ago
Another error I have encounter: when I tried to execute ./gcd-string-0-runsatall.test
in the test
directory, it is aborted due to 2 sys_errors loading "gcd.cache" and "./#include
Exception in loading: Sys_error("gcd.cache: No such file or directory")
../../src/repair aborting: Sys_error("./#include <stdio.h>: No such file or directory")
Rep: saving test cache
Variant Test Case Queries: 0
"Test Suite Evaluations": 0
Compile Failures: 0
Wall-Clock Seconds Elapsed: 0.000425816
Activity Name Count Seconds = Percent of Total Time
TOTAL 0.000 = 0% (avg CPU usage)
Fatal error: exception Sys_error("./#include <stdio.h>: No such file or directory")
Hi, I think I have successfully built Genprog using opam 4.12.0 on my Linux desktop. My OS is Ubuntu 22.04.4 LTS.
I tried running some test scripts located in the
test/
directory, however, none of them can run continuously and generate a repaired code. I really have no idea what can be the roots of these problem, and I would be immensely grateful if someone could offer some insights or suggestions!The following are my terminal's output when executing these tests:
When I tried to execute
./gcd-0-runsatall.test
, it aborted due to the compilation failure of coverage.c file.