Christopher Havlicek

If memory serves, one'll get an Illegal Instruction from CRETE custom instructions executed from the Guest OS (done automatically via `crete-run`) if using QEMU "native" or "kvm" mode. You must...

Ensure it's `crete-qemu-2.3-system-x86_64`. Note the special `crete-` prefix derived from a CRETE-QEMU build.

Assuming you've successfully built it, you'll need to get it into your $PATH, or provide a path to it. It should be in your build/bin directory.

I don't know what you mean by "shows a total of 8" while being empty. If the binaries are not showing up in the `crete-build/bin` directory described as a result...

@likebreath @zhenkun As a first step, I enabled CRETE to consume multiple seed test cases of the same size - without applying the above patch. The test program has 4...

On second thought, a total of 8 TCs makes sense. 13 TCs does not.

@likebreath, @zhenkun Hi Bo, thanks for putting this up so promptly. This patch seems to have fixed the issue of TCs of differing "useful_data_size" being considered redundant. Thanks,

@likebreath Sure. I'll push the changes as soon as they're verified to be working. Another concern I have is in the following line: https://github.com/SVL-PSU/crete-dev/blob/4f9321551c49981f9f5d9b432ebaf210bb0a72ef/front-end/guest/lib/run-preload/run_preload.cpp#L135 I have encountered this exception being...

@likebreath @zhenkun Committed changes. Preliminary testing is successful. https://github.com/moralismercatus/crete-dev/commit/198e90496574c1fe9150a9e26690d3465c647d77

@likebreath @zhenkun I'd like to share with you a sample program that we tested the feature with. ```cpp #include #include using namespace std; size_t file_size(char* f) { ifstream ifs( f,...