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

plasma-umass · Feb 6, 2024 · 583e607 · 583e607
1 parent c512af0
commit 583e607
Show file tree

Hide file tree

Showing 41 changed files with 0 additions and 123 deletions.
diff --git a/tests/.regression/macos/clang++/ctre-test.cpp b/tests/.regression/macos/clang++/ctre-test.cpp
@@ -89,9 +89,6 @@ template <CTRE_REGEX_INPUT_TYPE input, typename... Modifiers> static constexpr i
                        ^
 /Users/runner/work/cwhy/cwhy/tests/_deps/c++/ctre-test.cpp/install/include/ctre/wrapper.hpp:277:26: note: template is declared here
 template <size_t> struct problem_at_position; // do not define!
-
-[...]
-
                          ^
 /Users/runner/work/cwhy/cwhy/tests/c++/ctre-test.cpp:56:18: error: no matching member function for call to 'get'
         return m.get<1>().to_view();

diff --git a/tests/.regression/macos/clang++/include-header-typo.cpp b/tests/.regression/macos/clang++/include-header-typo.cpp
@@ -14,9 +14,6 @@ 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.
 ```

diff --git a/tests/.regression/macos/clang++/missing-struct-semicolon.cpp b/tests/.regression/macos/clang++/missing-struct-semicolon.cpp
@@ -22,9 +22,6 @@ This is my error:
 /Users/runner/work/cwhy/cwhy/tests/c++/missing-struct-semicolon.cpp:13:2: error: expected ';' after struct
 }
  ^
-
-[...]
-
  ;
 1 error generated.
 ```

diff --git a/....regression/macos/clang++/overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp b/....regression/macos/clang++/overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp
@@ -28,9 +28,6 @@ This is my error:
     ^
 /Users/runner/work/cwhy/cwhy/tests/c++/overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp:26:6: note: candidate function not viable: no known conversion from 'const float' to 'char *' for 1st argument
 void f(char*) {}
-
-[...]
-
      ^
 /Users/runner/work/cwhy/cwhy/tests/c++/overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp:28:6: note: candidate function not viable: 1st argument ('const float') would lose const qualifier
 void f(float&) {}

diff --git a/tests/.regression/macos/clang++/overload-resolution-failure-transform-missing-argument.cpp b/tests/.regression/macos/clang++/overload-resolution-failure-transform-missing-argument.cpp
@@ -47,9 +47,6 @@ This is my error:
     ^~~~~~~~~~~~~~
 /Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__algorithm/transform.h:26:1: note: candidate function template not viable: requires 4 arguments, but 3 were provided
 transform(_InputIterator __first, _InputIterator __last, _OutputIterator __result, _UnaryOperation __op)
-
-[...]
-
 ^
 /Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/__algorithm/transform.h:36:1: note: candidate function template not viable: requires 5 arguments, but 3 were provided
 transform(_InputIterator1 __first1, _InputIterator1 __last1, _InputIterator2 __first2,

diff --git a/tests/.regression/macos/clang++/push-back-pointer.cpp b/tests/.regression/macos/clang++/push-back-pointer.cpp
@@ -40,9 +40,6 @@ This is my error:
     ~~^~~~~~~~~
 /Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/vector:735:36: note: candidate function not viable: no known conversion from 'int *' to 'const std::__vector_base<int, std::allocator<int>>::value_type' (aka 'const int') for 1st argument; dereference the argument with *
     _LIBCPP_INLINE_VISIBILITY void push_back(const_reference __x);
-
-[...]
-
                                    ^
 /Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/vector:738:36: note: candidate function not viable: no known conversion from 'int *' to 'std::vector<int>::value_type' (aka 'int') for 1st argument; dereference the argument with *
     _LIBCPP_INLINE_VISIBILITY void push_back(value_type&& __x);

diff --git a/tests/.regression/macos/clang++/redeclared-function.cpp b/tests/.regression/macos/clang++/redeclared-function.cpp
@@ -22,9 +22,6 @@ This is my error:
 void f() {}
 ~~~~ ^
 /Users/runner/work/cwhy/cwhy/tests/c++/redeclared-function.cpp:30:5: note: previous declaration is here
-
-[...]
-
 int f();
 ~~~ ^
 1 error generated.

diff --git a/tests/.regression/macos/clang++/redeclared-variable-deduction-order.cpp b/tests/.regression/macos/clang++/redeclared-variable-deduction-order.cpp
@@ -24,9 +24,6 @@ This is my error:
 decltype(f(0)) g = {};
                ^
 /Users/runner/work/cwhy/cwhy/tests/c++/redeclared-variable-deduction-order.cpp:6:23: note: previous declaration is here
-
-[...]
-
 extern decltype(f(0)) g;
                       ^
 1 error generated.

diff --git a/tests/.regression/macos/clang++/redefined-function.cpp b/tests/.regression/macos/clang++/redefined-function.cpp
@@ -26,9 +26,6 @@ This is my error:
 int f(int x, int y) {
     ^
 /Users/runner/work/cwhy/cwhy/tests/c++/redefined-function.cpp:34:5: note: previous definition is here
-
-[...]
-
 int f(int x, int y) {
     ^
 1 error generated.

diff --git a/tests/.regression/macos/clang++/reverse-iterator.cpp b/tests/.regression/macos/clang++/reverse-iterator.cpp
@@ -44,9 +44,6 @@ This is my error:
     iterator      erase(const_iterator __first, const_iterator __last);
                   ^
 /Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/string:1188:19: note: candidate function not viable: no known conversion from 'std::reverse_iterator<std::__wrap_iter<char *>>' to 'std::basic_string<char>::size_type' (aka 'unsigned long') for 1st argument
-
-[...]
-
     basic_string& erase(size_type __pos = 0, size_type __n = npos);
                   ^
 /Applications/Xcode_14.2.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/c++/v1/string:1190:19: note: candidate function not viable: requires single argument '__pos', but 2 arguments were provided

diff --git a/tests/.regression/macos/clang++/sfinae-ambiguous.cpp b/tests/.regression/macos/clang++/sfinae-ambiguous.cpp
@@ -23,9 +23,6 @@ This is my error:
     g(nullptr);
     ^
 /Users/runner/work/cwhy/cwhy/tests/c++/sfinae-ambiguous.cpp:5:6: note: candidate template ignored: substitution failure [with T = std::nullptr_t]: call to 'f' is ambiguous
-
-[...]
-
 auto g(T t) -> decltype(f(t)) {
      ^                  ~
 1 error generated.

diff --git a/tests/.regression/macos/clang++/sfinae-trailing-return-type-conditional-noexcept.cpp b/tests/.regression/macos/clang++/sfinae-trailing-return-type-conditional-noexcept.cpp
@@ -25,9 +25,6 @@ This is my error:
     g(17);
     ^
 /Users/runner/work/cwhy/cwhy/tests/c++/sfinae-trailing-return-type-conditional-noexcept.cpp:7:6: note: candidate template ignored: substitution failure [with T = int]: no matching function for call to 'f'
-
-[...]
-
 auto g(T t) noexcept(noexcept(f(t))) -> decltype(f(t)) {
      ^                                           ~
 1 error generated.

diff --git a/tests/.regression/macos/clang++/sfinae-trailing-return-type.cpp b/tests/.regression/macos/clang++/sfinae-trailing-return-type.cpp
@@ -25,9 +25,6 @@ This is my error:
     g(17);
     ^
 /Users/runner/work/cwhy/cwhy/tests/c++/sfinae-trailing-return-type.cpp:7:6: note: candidate template ignored: substitution failure [with T = int]: no matching function for call to 'f'
-
-[...]
-
 auto g(T t) -> decltype(f(t)) {
      ^                  ~
 1 error generated.

diff --git a/tests/.regression/macos/clang++/template-recursion.cpp b/tests/.regression/macos/clang++/template-recursion.cpp
@@ -65,9 +65,6 @@ In file included from /Users/runner/work/cwhy/cwhy/tests/c++/template-recursion.
                                ^
 /Users/runner/work/cwhy/cwhy/tests/c++/template-recursion.cpp:20:48: note: in instantiation of member function 'Matrix<4294966374, 10>::lowestRowSum' requested here
         return std::min(firstRowSum, subMatrix.lowestRowSum());
-
-[...]
-
                                                ^
 /Users/runner/work/cwhy/cwhy/tests/c++/template-recursion.cpp:20:48: note: in instantiation of member function 'Matrix<4294966375, 10>::lowestRowSum' requested here
 /Users/runner/work/cwhy/cwhy/tests/c++/template-recursion.cpp:20:48: note: in instantiation of member function 'Matrix<4294966376, 10>::lowestRowSum' requested here

diff --git a/tests/.regression/ubuntu/clang++/ctre-test.cpp b/tests/.regression/ubuntu/clang++/ctre-test.cpp
@@ -89,9 +89,6 @@ In file included from /home/runner/work/cwhy/cwhy/tests/_deps/c++/ctre-test.cpp/
       |                        ^
 /home/runner/work/cwhy/cwhy/tests/_deps/c++/ctre-test.cpp/install/include/ctre/wrapper.hpp:277:26: note: template is declared here
   277 | template <size_t> struct problem_at_position; // do not define!
-
-[...]
-
       |                          ^
 /home/runner/work/cwhy/cwhy/tests/c++/ctre-test.cpp:56:18: error: no matching member function for call to 'get'
    56 |         return m.get<1>().to_view();

diff --git a/tests/.regression/ubuntu/clang++/include-header-typo.cpp b/tests/.regression/ubuntu/clang++/include-header-typo.cpp
@@ -14,9 +14,6 @@ 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.
 ```

diff --git a/tests/.regression/ubuntu/clang++/missing-struct-semicolon.cpp b/tests/.regression/ubuntu/clang++/missing-struct-semicolon.cpp
@@ -22,9 +22,6 @@ This is my error:
 /home/runner/work/cwhy/cwhy/tests/c++/missing-struct-semicolon.cpp:13:2: error: expected ';' after struct
    13 | }
       |  ^
-
-[...]
-
       |  ;
 1 error generated.
 ```

diff --git a/...regression/ubuntu/clang++/overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp b/...regression/ubuntu/clang++/overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp
@@ -28,9 +28,6 @@ This is my error:
       |     ^
 /home/runner/work/cwhy/cwhy/tests/c++/overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp:26:6: note: candidate function not viable: no known conversion from 'const float' to 'char *' for 1st argument
    26 | void f(char*) {}
-
-[...]
-
       |      ^ ~~~~~
 /home/runner/work/cwhy/cwhy/tests/c++/overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp:28:6: note: candidate function not viable: 1st argument ('const float') would lose const qualifier
    28 | void f(float&) {}

diff --git a/tests/.regression/ubuntu/clang++/overload-resolution-failure-transform-missing-argument.cpp b/tests/.regression/ubuntu/clang++/overload-resolution-failure-transform-missing-argument.cpp
@@ -80,9 +80,6 @@ This is my error:
       |     ^         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  4337 |               _InputIterator2 __first2, _OutputIterator __result,
       |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-
-[...]
-
  4338 |               _BinaryOperation __binary_op)
       |               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/pstl/glue_algorithm_defs.h:156:1: note: candidate function template not viable: requires 5 arguments, but 3 were provided

diff --git a/tests/.regression/ubuntu/clang++/push-back-pointer.cpp b/tests/.regression/ubuntu/clang++/push-back-pointer.cpp
@@ -51,9 +51,6 @@ This is my error:
       |     ~~^~~~~~~~~
 /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_vector.h:1278:7: note: candidate function not viable: no known conversion from 'int *' to 'const value_type' (aka 'const int') for 1st argument; dereference the argument with *
  1278 |       push_back(const value_type& __x)
-
-[...]
-
       |       ^         ~~~~~~~~~~~~~~~~~~~~~
 /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_vector.h:1295:7: note: candidate function not viable: no known conversion from 'int *' to 'value_type' (aka 'int') for 1st argument; dereference the argument with *
  1295 |       push_back(value_type&& __x)

diff --git a/tests/.regression/ubuntu/clang++/redeclared-function.cpp b/tests/.regression/ubuntu/clang++/redeclared-function.cpp
@@ -22,9 +22,6 @@ This is my error:
    32 | void f() {}
       | ~~~~ ^
 /home/runner/work/cwhy/cwhy/tests/c++/redeclared-function.cpp:30:5: note: previous declaration is here
-
-[...]
-
    30 | int f();
       | ~~~ ^
 1 error generated.

diff --git a/tests/.regression/ubuntu/clang++/redeclared-variable-deduction-order.cpp b/tests/.regression/ubuntu/clang++/redeclared-variable-deduction-order.cpp
@@ -24,9 +24,6 @@ This is my error:
    12 | decltype(f(0)) g = {};
       |                ^
 /home/runner/work/cwhy/cwhy/tests/c++/redeclared-variable-deduction-order.cpp:6:23: note: previous declaration is here
-
-[...]
-
     6 | extern decltype(f(0)) g;
       |                       ^
 1 error generated.

diff --git a/tests/.regression/ubuntu/clang++/redefined-function.cpp b/tests/.regression/ubuntu/clang++/redefined-function.cpp
@@ -26,9 +26,6 @@ This is my error:
    38 | int f(int x, int y) {
       |     ^
 /home/runner/work/cwhy/cwhy/tests/c++/redefined-function.cpp:34:5: note: previous definition is here
-
-[...]
-
    34 | int f(int x, int y) {
       |     ^
 1 error generated.

diff --git a/tests/.regression/ubuntu/clang++/reverse-iterator.cpp b/tests/.regression/ubuntu/clang++/reverse-iterator.cpp
@@ -68,9 +68,6 @@ This is my error:
  2097 |       erase(__const_iterator __first, __const_iterator __last)
       |       ^     ~~~~~~~~~~~~~~~~~~~~~~~~
 /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/basic_string.h:2057:7: note: candidate function not viable: no known conversion from 'std::reverse_iterator<__gnu_cxx::__normal_iterator<char *, std::basic_string<char>>>' to 'size_type' (aka 'unsigned long') for 1st argument
-
-[...]
-
  2057 |       erase(size_type __pos = 0, size_type __n = npos)
       |       ^     ~~~~~~~~~~~~~~~~~~~
 /usr/bin/../lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/basic_string.h:2077:7: note: candidate function not viable: requires single argument '__position', but 2 arguments were provided

diff --git a/tests/.regression/ubuntu/clang++/sfinae-ambiguous.cpp b/tests/.regression/ubuntu/clang++/sfinae-ambiguous.cpp
@@ -23,9 +23,6 @@ This is my error:
    10 |     g(nullptr);
       |     ^
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-ambiguous.cpp:5:6: note: candidate template ignored: substitution failure [with T = std::nullptr_t]: call to 'f' is ambiguous
-
-[...]
-
     5 | auto g(T t) -> decltype(f(t)) {
       |      ^                  ~
 1 error generated.

diff --git a/tests/.regression/ubuntu/clang++/sfinae-trailing-return-type-conditional-noexcept.cpp b/tests/.regression/ubuntu/clang++/sfinae-trailing-return-type-conditional-noexcept.cpp
@@ -25,9 +25,6 @@ This is my error:
    12 |     g(17);
       |     ^
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-trailing-return-type-conditional-noexcept.cpp:7:6: note: candidate template ignored: substitution failure [with T = int]: no matching function for call to 'f'
-
-[...]
-
     7 | auto g(T t) noexcept(noexcept(f(t))) -> decltype(f(t)) {
       |      ^                                           ~
 1 error generated.

diff --git a/tests/.regression/ubuntu/clang++/sfinae-trailing-return-type.cpp b/tests/.regression/ubuntu/clang++/sfinae-trailing-return-type.cpp
@@ -25,9 +25,6 @@ This is my error:
    12 |     g(17);
       |     ^
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-trailing-return-type.cpp:7:6: note: candidate template ignored: substitution failure [with T = int]: no matching function for call to 'f'
-
-[...]
-
     7 | auto g(T t) -> decltype(f(t)) {
       |      ^                  ~
 1 error generated.

diff --git a/tests/.regression/ubuntu/clang++/template-recursion.cpp b/tests/.regression/ubuntu/clang++/template-recursion.cpp
@@ -49,9 +49,6 @@ fatal error: recursive template instantiation exceeded maximum depth of 1024
    20 |         return std::min(firstRowSum, subMatrix.lowestRowSum());
       |                                                ^
 /home/runner/work/cwhy/cwhy/tests/c++/template-recursion.cpp:20:48: note: in instantiation of member function 'Matrix<4294966375, 10>::lowestRowSum' requested here
-
-[...]
-
 /home/runner/work/cwhy/cwhy/tests/c++/template-recursion.cpp:20:48: note: in instantiation of member function 'Matrix<4294966376, 10>::lowestRowSum' requested here
 /home/runner/work/cwhy/cwhy/tests/c++/template-recursion.cpp:20:48: note: (skipping 1015 contexts in backtrace; use -ftemplate-backtrace-limit=0 to see all)
 /home/runner/work/cwhy/cwhy/tests/c++/template-recursion.cpp:20:48: note: in instantiation of member function 'Matrix<96, 10>::lowestRowSum' requested here

diff --git a/tests/.regression/ubuntu/g++/include-header-typo.cpp b/tests/.regression/ubuntu/g++/include-header-typo.cpp
@@ -14,9 +14,6 @@ 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.
 ```

diff --git a/tests/.regression/ubuntu/g++/missing-struct-semicolon.cpp b/tests/.regression/ubuntu/g++/missing-struct-semicolon.cpp
@@ -21,9 +21,6 @@ This is my error:
 ```
 /home/runner/work/cwhy/cwhy/tests/c++/missing-struct-semicolon.cpp:13:2: error: expected ‘;’ after struct definition
    13 | }
-
-[...]
-
       |  ^
       |  ;
 ```

diff --git a/tests/.regression/ubuntu/g++/overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp b/tests/.regression/ubuntu/g++/overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp
@@ -25,9 +25,6 @@ This is my error:
 /home/runner/work/cwhy/cwhy/tests/c++/overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp:32:7: error: binding reference of type ‘float&’ to ‘const float’ discards qualifiers
    32 |     f(i);
       |       ^
-
-[...]
-
 /home/runner/work/cwhy/cwhy/tests/c++/overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp:28:8: note:   initializing argument 1 of ‘void f(float&)’
    28 | void f(float&) {}
       |        ^~~~~~

diff --git a/tests/.regression/ubuntu/g++/overload-resolution-failure-transform-missing-argument.cpp b/tests/.regression/ubuntu/g++/overload-resolution-failure-transform-missing-argument.cpp
@@ -85,9 +85,6 @@ In file included from /usr/include/c++/12/algorithm:61,
       |     ^~~~~~~~~
 /usr/include/c++/12/bits/stl_algo.h:4290:5: note:   template argument deduction/substitution failed:
 /home/runner/work/cwhy/cwhy/tests/c++/overload-resolution-failure-transform-missing-argument.cpp:41:19: note:   candidate expects 5 arguments, 3 provided
-
-[...]
-
    41 |     std::transform(v.begin(), v.end(), [](int i) { return i * i; });
       |     ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 In file included from /usr/include/c++/12/algorithm:73:

diff --git a/tests/.regression/ubuntu/g++/push-back-pointer.cpp b/tests/.regression/ubuntu/g++/push-back-pointer.cpp
@@ -58,9 +58,6 @@ In file included from /usr/include/c++/12/vector:64,
 /usr/include/c++/12/bits/stl_vector.h:1276:7: note:   conversion of argument 1 would be ill-formed:
 /home/runner/work/cwhy/cwhy/tests/c++/push-back-pointer.cpp:24:17: error: invalid conversion from ‘int*’ to ‘std::vector<int>::value_type’ {aka ‘int’} [-fpermissive]
    24 |     v.push_back(pointer);
-
-[...]
-
       |                 ^~~~~~~
       |                 |
       |                 int*

diff --git a/tests/.regression/ubuntu/g++/redeclared-function.cpp b/tests/.regression/ubuntu/g++/redeclared-function.cpp
@@ -21,9 +21,6 @@ This is my error:
 /home/runner/work/cwhy/cwhy/tests/c++/redeclared-function.cpp:32:6: error: ambiguating new declaration of ‘void f()’
    32 | void f() {}
       |      ^
-
-[...]
-
 /home/runner/work/cwhy/cwhy/tests/c++/redeclared-function.cpp:30:5: note: old declaration ‘int f()’
    30 | int f();
       |     ^

diff --git a/tests/.regression/ubuntu/g++/redeclared-variable-deduction-order.cpp b/tests/.regression/ubuntu/g++/redeclared-variable-deduction-order.cpp
@@ -23,9 +23,6 @@ This is my error:
 /home/runner/work/cwhy/cwhy/tests/c++/redeclared-variable-deduction-order.cpp:12:16: error: conflicting declaration ‘double g’
    12 | decltype(f(0)) g = {};
       |                ^
-
-[...]
-
 /home/runner/work/cwhy/cwhy/tests/c++/redeclared-variable-deduction-order.cpp:6:23: note: previous declaration as ‘int g’
     6 | extern decltype(f(0)) g;
       |                       ^

diff --git a/tests/.regression/ubuntu/g++/redefined-function.cpp b/tests/.regression/ubuntu/g++/redefined-function.cpp
@@ -25,9 +25,6 @@ This is my error:
 /home/runner/work/cwhy/cwhy/tests/c++/redefined-function.cpp:38:5: error: redefinition of ‘int f(int, int)’
    38 | int f(int x, int y) {
       |     ^
-
-[...]
-
 /home/runner/work/cwhy/cwhy/tests/c++/redefined-function.cpp:34:5: note: ‘int f(int, int)’ previously defined here
    34 | int f(int x, int y) {
       |     ^

diff --git a/tests/.regression/ubuntu/g++/reverse-iterator.cpp b/tests/.regression/ubuntu/g++/reverse-iterator.cpp
@@ -72,9 +72,6 @@ In file included from /usr/include/c++/12/string:53,
       |       ^~~~~
 /usr/include/c++/12/bits/basic_string.h:2040:23: note:   no known conversion for argument 1 from ‘std::reverse_iterator<__gnu_cxx::__normal_iterator<char*, std::__cxx11::basic_string<char> > >’ to ‘std::__cxx11::basic_string<char>::size_type’ {aka ‘long unsigned int’}
  2040 |       erase(size_type __pos = 0, size_type __n = npos)
-
-[...]
-
       |             ~~~~~~~~~~^~~~~~~~~
 /usr/include/c++/12/bits/basic_string.h:2060:7: note: candidate: ‘constexpr std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::iterator std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::erase(__const_iterator) [with _CharT = char; _Traits = std::char_traits<char>; _Alloc = std::allocator<char>; iterator = std::__cxx11::basic_string<char>::iterator; __const_iterator = std::__cxx11::basic_string<char>::const_iterator]’
  2060 |       erase(__const_iterator __position)

diff --git a/tests/.regression/ubuntu/g++/sfinae-ambiguous.cpp b/tests/.regression/ubuntu/g++/sfinae-ambiguous.cpp
@@ -29,9 +29,6 @@ This is my error:
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-ambiguous.cpp:5:6: note:   template argument deduction/substitution failed:
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-ambiguous.cpp: In substitution of ‘template<class T> decltype (f(t)) g(T) [with T = std::nullptr_t]’:
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-ambiguous.cpp:10:6:   required from here
-
-[...]
-
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-ambiguous.cpp:5:26: error: call of overloaded ‘f(std::nullptr_t&)’ is ambiguous
     5 | auto g(T t) -> decltype(f(t)) {
       |                         ~^~~

diff --git a/tests/.regression/ubuntu/g++/sfinae-trailing-return-type-conditional-noexcept.cpp b/tests/.regression/ubuntu/g++/sfinae-trailing-return-type-conditional-noexcept.cpp
@@ -31,9 +31,6 @@ This is my error:
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-trailing-return-type-conditional-noexcept.cpp:7:6: note:   template argument deduction/substitution failed:
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-trailing-return-type-conditional-noexcept.cpp: In substitution of ‘template<class T> decltype (f(t)) g(T) [with T = int]’:
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-trailing-return-type-conditional-noexcept.cpp:12:6:   required from here
-
-[...]
-
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-trailing-return-type-conditional-noexcept.cpp:7:51: error: no matching function for call to ‘f(int&)’
     7 | auto g(T t) noexcept(noexcept(f(t))) -> decltype(f(t)) {
       |                                                  ~^~~

diff --git a/tests/.regression/ubuntu/g++/sfinae-trailing-return-type.cpp b/tests/.regression/ubuntu/g++/sfinae-trailing-return-type.cpp
@@ -31,9 +31,6 @@ This is my error:
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-trailing-return-type.cpp:7:6: note:   template argument deduction/substitution failed:
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-trailing-return-type.cpp: In substitution of ‘template<class T> decltype (f(t)) g(T) [with T = int]’:
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-trailing-return-type.cpp:12:6:   required from here
-
-[...]
-
 /home/runner/work/cwhy/cwhy/tests/c++/sfinae-trailing-return-type.cpp:7:26: error: no matching function for call to ‘f(int&)’
     7 | auto g(T t) -> decltype(f(t)) {
       |                         ~^~~