diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-19 19:20:55 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-21 13:07:50 +0100 |
| commit | edfa29e836087cb61f33afcac40640be5f36341a (patch) | |
| tree | 486732d8e87b5d92d9835223914ce8bbac0d9d98 /tools | |
| parent | 8795286d8277ffaecec405d8fa6e714cddafbeed (diff) | |
| download | klee-edfa29e836087cb61f33afcac40640be5f36341a.tar.gz | |
Tests: replaced "-data" and "-stat" by "_data" and "_stat" for consistency with recent changes.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions