(core) disabled rtchecks_pretty inline test

Src-commit: c55cd0d43bd3e16b4d7e13c661410aacf813a814
ciao-lang · Jul 11, 2023 · 5b5fefb · 5b5fefb
1 parent 1675a54
commit 5b5fefb
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/core/lib/rtchecks/rtchecks_pretty.pl b/core/lib/rtchecks/rtchecks_pretty.pl
@@ -143,9 +143,9 @@
 
 :- use_module(library(lists), [length/2, append/3]).
 
-:- test compact_list(A, B) :
-    (A = [1, 2, 2, 2, 2, 3, 3, 4, 3, 4, 3, 4, 3, 4, 1, 5, 7, 1, 5, 7])
-    => (B = [1, 2, 3, 4, 1, 5, 7]) + not_fails.
+% :- test compact_list(A, B) :
+%     (A = [1, 2, 2, 2, 2, 3, 3, 4, 3, 4, 3, 4, 3, 4, 1, 5, 7, 1, 5, 7])
+%     => (B = [1, 2, 3, 4, 1, 5, 7]) + not_fails.
 
 :- export(compact_list/2). % TODO: do not export, only for running tests
 :- pred compact_list(L, R) : list(L) => list(R)