[Question][Hw4] .cov file not generated #576
Replies: 3 comments
-
Did you paste your project 3 code into the src folder? |
Beta Was this translation helpful? Give feedback.
0 replies
-
I ran the command from HW3 |
Beta Was this translation helpful? Give feedback.
0 replies
-
I thought using test and Coverage.read in a line would be okay but it wasn't |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
-
I followed the instruction from the Readme.md
make
cd test; make
../fuzzer example1 string_seed output_dir
but this gives me error with
Fatal error: exception Sys_error("~~/test/example1.cov: No such file or directory")
I think this error is strange because make command on root and test directory should make .cov file.
To be clear, I copied instrument.ml and modified to ignore PHI case.
Beta Was this translation helpful? Give feedback.
All reactions