File: skip-himem-tests.patch

package info (click to toggle)
cvc5 1.1.2-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 80,856 kB
  • sloc: cpp: 339,634; java: 10,248; python: 10,063; sh: 6,726; ansic: 1,622; lisp: 763; perl: 207; makefile: 33
file content (11 lines) | stat: -rw-r--r-- 383 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
 
--- a/test/api/cpp/CMakeLists.txt
+++ b/test/api/cpp/CMakeLists.txt
@@ -60,8 +60,6 @@ cvc5_add_api_test(issue4889)
 cvc5_add_api_test(issue6111)
 cvc5_add_api_test(proj-issue306)
 cvc5_add_api_test(proj-issue334)
-cvc5_add_api_test(proj-issue344)
-cvc5_add_api_test(proj-issue345)
 cvc5_add_api_test(proj-issue377)
 cvc5_add_api_test(proj-issue388)
 cvc5_add_api_test(proj-issue395)