about summary refs log tree commit diff homepage
path: root/tools/ktest-gen
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2023-04-19 19:16:06 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2023-04-21 13:07:50 +0100
commit8795286d8277ffaecec405d8fa6e714cddafbeed (patch)
treeca71bf630edbce62c195087539416b8414bf6d8e /tools/ktest-gen
parentac0fa15ab0679fe1b5067b07647b0701ae3bc347 (diff)
downloadklee-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.cpp8
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)