[regression] rename extension

kunjsong01 · Feb 1, 2024 · 3ccd3b2 · 3ccd3b2
1 parent f7e5c06
commit 3ccd3b2
Show file tree

Hide file tree

Showing 12 changed files with 6 additions and 6 deletions.
diff --git a/...heri-cpp/01_cheri_clear_tag_failed/main.c → ...ri-cpp/01_cheri_clear_tag_failed/main.cpp b/...heri-cpp/01_cheri_clear_tag_failed/main.c → ...ri-cpp/01_cheri_clear_tag_failed/main.cpp
diff --git a/regression/cheri-cpp/01_cheri_clear_tag_failed/test.desc b/regression/cheri-cpp/01_cheri_clear_tag_failed/test.desc
@@ -1,4 +1,4 @@
 CORE
-main.c
+main.cpp
 --cheri hybrid
 ^VERIFICATION FAILED$
diff --git a/...cpp/01_cheri_clear_tag_leak_failed/main.c → ...p/01_cheri_clear_tag_leak_failed/main.cpp b/...cpp/01_cheri_clear_tag_leak_failed/main.c → ...p/01_cheri_clear_tag_leak_failed/main.cpp
diff --git a/regression/cheri-cpp/01_cheri_clear_tag_leak_failed/test.desc b/regression/cheri-cpp/01_cheri_clear_tag_leak_failed/test.desc
@@ -1,4 +1,4 @@
 CORE
-main.c
+main.cpp
 --cheri hybrid
 ^VERIFICATION FAILED$
diff --git a/...heri-cpp/01_cheri_ptr10_successful/main.c → ...ri-cpp/01_cheri_ptr10_successful/main.cpp b/...heri-cpp/01_cheri_ptr10_successful/main.c → ...ri-cpp/01_cheri_ptr10_successful/main.cpp
diff --git a/regression/cheri-cpp/01_cheri_ptr10_successful/test.desc b/regression/cheri-cpp/01_cheri_ptr10_successful/test.desc
@@ -1,4 +1,4 @@
 CORE
-main.c
+main.cpp
 --cheri hybrid
 ^VERIFICATION SUCCESSFUL$
diff --git a/...on/cheri-cpp/01_cheri_ptr11_failed/main.c → .../cheri-cpp/01_cheri_ptr11_failed/main.cpp b/...on/cheri-cpp/01_cheri_ptr11_failed/main.c → .../cheri-cpp/01_cheri_ptr11_failed/main.cpp
diff --git a/regression/cheri-cpp/01_cheri_ptr11_failed/test.desc b/regression/cheri-cpp/01_cheri_ptr11_failed/test.desc
@@ -1,4 +1,4 @@
 CORE
-main.c
+main.cpp
 --cheri hybrid
 ^VERIFICATION FAILED$
diff --git a/...heri-cpp/01_cheri_ptr12_successful/main.c → ...ri-cpp/01_cheri_ptr12_successful/main.cpp b/...heri-cpp/01_cheri_ptr12_successful/main.c → ...ri-cpp/01_cheri_ptr12_successful/main.cpp
diff --git a/regression/cheri-cpp/01_cheri_ptr12_successful/test.desc b/regression/cheri-cpp/01_cheri_ptr12_successful/test.desc
@@ -1,4 +1,4 @@
 CORE
-main.c
+main.cpp
 --cheri hybrid
 ^VERIFICATION SUCCESSFUL$
diff --git a/...ion/cheri-cpp/01_cheri_ptr1_failed/main.c → ...n/cheri-cpp/01_cheri_ptr1_failed/main.cpp b/...ion/cheri-cpp/01_cheri_ptr1_failed/main.c → ...n/cheri-cpp/01_cheri_ptr1_failed/main.cpp
diff --git a/regression/cheri-cpp/01_cheri_ptr1_failed/test.desc b/regression/cheri-cpp/01_cheri_ptr1_failed/test.desc
@@ -1,4 +1,4 @@
 CORE
-main.c
+main.cpp
 --cheri hybrid
 ^VERIFICATION FAILED$