aurelf

Hi @chadbrewbaker, thanks for your PR! Really appreciated! I have a few questions: - could you also add something about it on the documentation or ReadMe ? With an example...

Hi, thanks for the PR. I'm going to look at this. Looks interesting. To start, 2 comments: - Can you add a target to the Dockerfile to compile and run...

Thanks for the changes! Would be great if the test is possible to add for that function too... Do you think you can add it ?

Hi, thanks for running the benchmark ! Very cool :) I'm not sure which timeout is hit, AFAIK, there is one specified in the symcc helper, 90 seconds overall: https://github.com/eurecom-s3/symcc/blob/c4eacea9f888aa7676636e35c54b2c323a66b2f9/util/symcc_fuzzing_helper/src/symcc.rs#L28...

Well the QSYM paper mentions 5 minutes for overall timeout (runs not solver time it seems), and compares that to various values for Driller. But the code uses 10 seconds...

To actually answer your question, I imagine we set the same value as QSym or fairness in comparison, and that this value was set so that most queries could be...

Hi, > Would be it possible to have an option in SymCC to enforce exploration of all possible paths ? Yes this would be possible, and nice to have. I...

Thanks for the detailed report. Is the problem only when using the simple backend? [simple_backend/Runtime.cpp](https://github.com/eurecom-s3/symcc/blob/c4eacea9f888aa7676636e35c54b2c323a66b2f9/runtime/simple_backend/Runtime.cpp) Is the problem also present with the QSym backend ? Unfortunately, the example code you...

Hi @adrianherrera, thanks for the PR! Sorry for the late answer to it... Could you : - add support for the new pass manager (see for example https://github.com/banach-space/llvm-tutor#about-pass-managers-in-llvm) - add...

It looks like you are missing Z3, did you follow the SymCC compilation/installation instructions or provided correct path? See [SymCC Readme](https://github.com/eurecom-s3/symcc/#readme)