[bot] Generate current state of CWhy prompts (#51)

* [bot][macos] Generate current state of CWhy prompts * [bot][ubuntu] Generate current state of CWhy prompts --------- Co-authored-by: github-actions <[email protected]>
plasma-umass · Jan 11, 2024 · 2318f09 · 2318f09
1 parent 2a159a8
commit 2318f09
Show file tree

Hide file tree

Showing 6 changed files with 78 additions and 0 deletions.
diff --git a/tests/.regression/macos/clang++/cpp20-feature.cpp b/tests/.regression/macos/clang++/cpp20-feature.cpp
diff --git a/tests/.regression/macos/clang++/include-header-typo.cpp b/tests/.regression/macos/clang++/include-header-typo.cpp
@@ -0,0 +1,26 @@
+===================== Prompt =====================
+This is my code:
+
+File `/Users/runner/work/cwhy/cwhy/tests/c++/include-header-typo.cpp`:
+```
+1 #include "blank-header.hp"
+2 
+3 int main() {
+4   return 0;
+```
+
+
+This is my error:
+```
+/Users/runner/work/cwhy/cwhy/tests/c++/include-header-typo.cpp:1:10: fatal error: 'blank-header.hp' file not found
+#include "blank-header.hp"
+
+[...]
+
+         ^~~~~~~~~~~~~~~~~
+1 error generated.
+```
+
+
+What's the problem? If you can, suggest code to fix the issue.
+==================================================
diff --git a/tests/.regression/ubuntu/clang++/cpp20-feature.cpp b/tests/.regression/ubuntu/clang++/cpp20-feature.cpp
diff --git a/tests/.regression/ubuntu/clang++/include-header-typo.cpp b/tests/.regression/ubuntu/clang++/include-header-typo.cpp
@@ -0,0 +1,26 @@
+===================== Prompt =====================
+This is my code:
+
+File `/home/runner/work/cwhy/cwhy/tests/c++/include-header-typo.cpp`:
+```
+1 #include "blank-header.hp"
+2 
+3 int main() {
+4   return 0;
+```
+
+
+This is my error:
+```
+/home/runner/work/cwhy/cwhy/tests/c++/include-header-typo.cpp:1:10: fatal error: 'blank-header.hp' file not found
+    1 | #include "blank-header.hp"
+
+[...]
+
+      |          ^~~~~~~~~~~~~~~~~
+1 error generated.
+```
+
+
+What's the problem? If you can, suggest code to fix the issue.
+==================================================
diff --git a/tests/.regression/ubuntu/g++/cpp20-feature.cpp b/tests/.regression/ubuntu/g++/cpp20-feature.cpp
diff --git a/tests/.regression/ubuntu/g++/include-header-typo.cpp b/tests/.regression/ubuntu/g++/include-header-typo.cpp
@@ -0,0 +1,26 @@
+===================== Prompt =====================
+This is my code:
+
+File `/home/runner/work/cwhy/cwhy/tests/c++/include-header-typo.cpp`:
+```
+1 #include "blank-header.hp"
+2 
+3 int main() {
+4   return 0;
+```
+
+
+This is my error:
+```
+/home/runner/work/cwhy/cwhy/tests/c++/include-header-typo.cpp:1:10: fatal error: blank-header.hp: No such file or directory
+    1 | #include "blank-header.hp"
+
+[...]
+
+      |          ^~~~~~~~~~~~~~~~~
+compilation terminated.
+```
+
+
+What's the problem? If you can, suggest code to fix the issue.
+==================================================