reduces successes in pipeline

TinyTinni · Nov 16, 2024 · 81df891 · 81df891
1 parent 40d2af2
commit 81df891
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 6 deletions.
diff --git a/.github/workflows/cmake.yml b/.github/workflows/cmake.yml
@@ -45,7 +45,7 @@ jobs:
     - name: Test
       working-directory: ${{github.workspace}}/build
       env:
-        RC_PARAMS: "max_success=10000"
+        RC_PARAMS: "max_success=1000"
       # Execute tests defined by the CMake configuration.
       # See https://cmake.org/cmake/help/latest/manual/ctest.1.html for more detail
       run: ctest --output-on-failure -C ${{env.BUILD_TYPE}}

diff --git a/tests/proptests/generators/string_generator.hpp b/tests/proptests/generators/string_generator.hpp
@@ -30,14 +30,13 @@ rc::Gen<std::basic_string<charT>> gen_unescaped_name_string();
 
 template <> inline rc::Gen<std::string> gen_unescaped_name_string<char>()
 {
-    return rc::gen::suchThat(rc::gen::string<std::string>(),
-                             [](const std::string &str)
+    return rc::gen::suchThat(gen_name_string<char>(), [](const std::string &str)
                              { return str.find("\"") == str.npos; });
 }
 
 template <> inline rc::Gen<std::wstring> gen_unescaped_name_string<wchar_t>()
 {
-    return rc::gen::suchThat(
-        rc::gen::string<std::wstring>(), [](const std::wstring &str)
-        { return str.find(L"\"") == str.npos && !contains_surrogate(str); });
+    return rc::gen::suchThat(gen_name_string<wchar_t>(),
+                             [](const std::wstring &str)
+                             { return str.find(L"\"") == str.npos; });
 }