From 5b5fefbc54149dd42c23c5f6954740c5936bf6fa Mon Sep 17 00:00:00 2001 From: "Jose F. Morales" Date: Wed, 5 Jul 2023 18:44:41 +0200 Subject: [PATCH] (core) disabled rtchecks_pretty inline test Src-commit: c55cd0d43bd3e16b4d7e13c661410aacf813a814 --- core/lib/rtchecks/rtchecks_pretty.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/core/lib/rtchecks/rtchecks_pretty.pl b/core/lib/rtchecks/rtchecks_pretty.pl index 0044fdf1a..14894be79 100644 --- 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)