about summary refs log tree commit diff homepage
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
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.
-rw-r--r--tools/ktest-gen/ktest-gen.cpp8
-rw-r--r--tools/ktest-randgen/ktest-randgen.cpp4
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;