projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18cf7ab) | patch
Print more commonly used murxla commands (#8046)
authorGereon Kremer <nafur42@gmail.com>
Tue, 8 Feb 2022 04:46:18 +0000 (20:46 -0800)
committerGitHub <noreply@github.com>
Tue, 8 Feb 2022 04:46:18 +0000 (04:46 +0000)
commit0d4c8995e9447d06d27c3cd532b7369aa5d70256
treeead77d9a13e266cf8a76d0aef68bd4c19126903dtree
parent18cf7ab96a810c0c599de7bc005db1b8b2c2146acommit | diff
Print more commonly used murxla commands (#8046)

Given that murxla requires multiple invocations with different arguments for a typical workflow, I found it very helpful to have them recalled whenever I build it.
cmake/fuzzing-murxla.cmake diff | blob | history