suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixes test-->>E failure message

Browse Source 
Fixes PR 11853
This commit is contained in:
Casey Klein 2011-04-15 04:52:13 -05:00
parent 46b3a9d13d
commit 0b9db752ca
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/redex/private/reduction-semantics.rkt
View File

@ -2255,7 +2255,7 @@
(if (procedure? goal) "satisfying" "equal to") (if (procedure? goal) "satisfying" "equal to")
goal) goal)
(when (search-failure-cutoff? result) (when (search-failure-cutoff? result)
(fprintf (current-error-port) " (but some terms were not unexplored)")) (fprintf (current-error-port) " (but some terms were not explored)"))
(newline (current-error-port)))))) (newline (current-error-port))))))
(define-syntax (test-predicate stx) (define-syntax (test-predicate stx)

2
collects/redex/tests/tl-test.rkt
View File

@ -2455,7 +2455,7 @@
(define (equal-to-7 x) (= x 7)) (define (equal-to-7 x) (= x 7))
(test (capture-output (test-->>∃ #:steps 5 1+ 0 equal-to-7)) (test (capture-output (test-->>∃ #:steps 5 1+ 0 equal-to-7))
#rx"^FAILED .*\nno reachable term satisfying #<procedure:equal-to-7> \\(but some terms were not unexplored\\)\n$") #rx"^FAILED .*\nno reachable term satisfying #<procedure:equal-to-7> \\(but some terms were not explored\\)\n$")
(test (capture-output (test-->>∃ 1+ 0 7)) "") (test (capture-output (test-->>∃ 1+ 0 7)) "")
(test (capture-output (test-->>E 1+ 0 7)) "") (test (capture-output (test-->>E 1+ 0 7)) "")