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-gen | |
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-gen')
-rw-r--r-- | tools/ktest-gen/ktest-gen.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/ktest-gen/ktest-gen.cpp b/tools/ktest-gen/ktest-gen.cpp index d127c0e5..93e428a9 100644 --- a/tools/ktest-gen/ktest-gen.cpp +++ b/tools/ktest-gen/ktest-gen.cpp @@ -139,8 +139,8 @@ int main(int argc, char *argv[]) { } if (file_counter > 0) { - char filename[7] = "A-data"; - char statname[12] = "A-data-stat"; + char filename[7] = "A_data"; + char statname[12] = "A_data_stat"; char sym_file_name = 'A'; FILE *fp[file_counter]; unsigned char *file_content[file_counter]; @@ -222,7 +222,7 @@ int main(int argc, char *argv[]) { FILE *fp; struct stat64 file_stat; char filename[6] = "stdin"; - char statname[11] = "stdin-stat"; + char statname[11] = "stdin_stat"; #if defined(__has_feature) #if __has_feature(memory_sanitizer) memset(&file_stat, 0, sizeof(struct stat64)); @@ -265,7 +265,7 @@ int main(int argc, char *argv[]) { struct stat64 file_stat; unsigned char file_content[1024]; char filename[7] = "stdout"; - char statname[12] = "stdout-stat"; + char statname[12] = "stdout_stat"; #if defined(__has_feature) #if __has_feature(memory_sanitizer) |