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 | |
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')
-rw-r--r-- | tools/ktest-gen/ktest-gen.cpp | 8 | ||||
-rw-r--r-- | tools/ktest-randgen/ktest-randgen.cpp | 4 |
2 files changed, 6 insertions, 6 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) 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; |