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/ktest-randgen | |
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/ktest-randgen')
-rw-r--r-- | tools/ktest-randgen/ktest-randgen.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ktest-randgen/ktest-randgen.cpp b/tools/ktest-randgen/ktest-randgen.cpp index 6146d35d..4bf3e23c 100644 --- a/tools/ktest-randgen/ktest-randgen.cpp +++ b/tools/ktest-randgen/ktest-randgen.cpp @@ -242,8 +242,8 @@ int main(int argc, char *argv[]) { } for (i = 0; i < total_files; ++i) { - char filename[] = "A-data"; - char file_stat[] = "A-data-stat"; + char filename[] = "A_data"; + char file_stat[] = "A_data_stat"; unsigned nbytes; struct stat s; |