diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-19 19:16:06 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-21 13:07:50 +0100 |
| commit | 8795286d8277ffaecec405d8fa6e714cddafbeed (patch) | |
| tree | ca71bf630edbce62c195087539416b8414bf6d8e /tools/CMakeLists.txt | |
| parent | ac0fa15ab0679fe1b5067b07647b0701ae3bc347 (diff) | |
| download | klee-8795286d8277ffaecec405d8fa6e714cddafbeed.tar.gz | |
Replaced "-data" and "-stat" by "_data" and "_stat" in the ktest-(rand)gen tools for consistency with recent changes.
Diffstat (limited to 'tools/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions