blob: 46ad057ccd41bb6bd301a495b899ca6285a6daa5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
diff --unified --recursive --text bitwuzla-0.4.0.orig/test/regress/meson.build bitwuzla-0.4.0/test/regress/meson.build
--- bitwuzla-0.4.0.orig/test/regress/meson.build 2024-03-06 17:54:03.000000000 +0000
+++ bitwuzla-0.4.0/test/regress/meson.build 2024-03-30 12:48:22.907704008 +0000
@@ -1393,7 +1393,7 @@
['solver/process_term1.smt2'],
['solver/process_term2.smt2'],
['solver/time_limit_per1.smt2'],
- ['solver/time_limit_per2.smt2'],
+# ['solver/time_limit_per2.smt2'],
['solver/quant/duplicatelemma1.smt2'],
['solver/quant/issue96.smt2'],
['solver/quant/issue97.smt2'],
|