diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-11-01 11:37:22 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-01 11:37:22 -0700 |
| commit | e7e2f6718823ddb65179bc74dc043074bc2bfafb (patch) | |
| tree | 44b63f50bb8c64afafb51f496ad3cf40886c9073 /CMakeLists.txt | |
| parent | 3bcc47a3c03f7bb1c3d00f0978296232b7e0aaf5 (diff) | |
Add fuzzing target for murxla (#7490)
This PR aims to make it easier for cvc5 developers to fuzz the current cvc5 working copy with murxla.
It adds a new external project Murxla-EP that builds murxla, linking (only) against cvc5. It depends (indirectly) on the make install target, which is called with a custom install prefix for this purpose.
As the murxla repository is not public yet, automatically downloading it does not work, but instead we need the user to clone it manually for now.
The user should simply execute make fuzz-murxla and follow the instructions.
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 1afb2cfc8..f5184b2df 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -445,6 +445,7 @@ endif() # Provide targets to inspect iwyu suggestions include(IWYU) +include(fuzzing-murxla) #-----------------------------------------------------------------------------# |