[racket-dev] datalog tests failing on HEAD?
I'm seeing some severe failures of the datalog test suite on HEAD. Is
anyone else seeing this?
Here's what I'm seeing on my end:
128-110-92-136:datalog dyoo$ pwd
/Users/dyoo/local/racket/collects/tests/datalog
128-110-92-136:datalog dyoo$ ~/local/racket/bin/raco test .
[lots of output]
Datalog > eval >
/Users/dyoo/local/racket/collects/tests/datalog/./examples > revpath
revpath
FAILURE
name: check-equal?
location: eval.rkt:16:4
actual: '()
expected: '("path(a, a)."
"path(a, d)."
"path(a, c)."
"path(a, b)."
"path(b, b)."
"path(b, a)."
"path(b, d)."
"path(b, c)."
"path(c, c)."
"path(c, b)."
"path(c, a)."
"path(c, d)."
"path(d, d)."
"path(d, c)."
"path(d, b)."
"path(d, a).")
Check failure
context...:
/Users/dyoo/local/racket/collects/rackunit/private/check.rkt:183:8
/Users/dyoo/local/racket/collects/rackunit/private/check.rkt:110:21:
check-equal?2417889
/Users/dyoo/local/racket/collects/rackunit/private/result.rkt:99:3
/Users/dyoo/local/racket/collects/rackunit/private/test-suite.rkt:28:2
/Users/dyoo/local/racket/collects/tests/datalog/eval.rkt:24:4: for-loop
the-tests
/Users/dyoo/local/racket/collects/rackunit/private/test-suite.rkt:60:0:
apply-test-suite
run/inner
the-tests
/Users/dyoo/local/racket/collects/rackunit/private/test-suite.rkt:60:0:
apply-test-suite
run/inner
the-tests
/Users/dyoo/local/racket/collects/rackunit/private/test-suite.rkt:60:0:
apply-test-suite
/Users/dyoo/local/racket/collects/rackunit/text-ui.rkt:224:0: run-tests14
/Users/dyoo/local/racket/collects/tests/datalog/main.rkt: [running body]
/Users/dyoo/local/racket/collects/compiler/commands/../../racket/private/map.rkt:53:19:
loop...
--------------------
--------------------
Datalog > eval >
/Users/dyoo/local/racket/collects/tests/datalog/./examples > says
says
FAILURE
name: check-equal?
location: eval.rkt:16:4
actual: '()
expected: '("says(tpme1, m1).")
Check failure
context...:
/Users/dyoo/local/racket/collects/rackunit/private/check.rkt:183:8
/Users/dyoo/local/racket/collects/rackunit/private/check.rkt:110:21:
check-equal?2417889
/Users/dyoo/local/racket/collects/rackunit/private/result.rkt:99:3
/Users/dyoo/local/racket/collects/rackunit/private/test-suite.rkt:28:2
/Users/dyoo/local/racket/collects/tests/datalog/eval.rkt:24:4: for-loop
the-tests
/Users/dyoo/local/racket/collects/rackunit/private/test-suite.rkt:60:0:
apply-test-suite
run/inner
the-tests
/Users/dyoo/local/racket/collects/rackunit/private/test-suite.rkt:60:0:
apply-test-suite
run/inner
the-tests
/Users/dyoo/local/racket/collects/rackunit/private/test-suite.rkt:60:0:
apply-test-suite
/Users/dyoo/local/racket/collects/rackunit/text-ui.rkt:224:0: run-tests14
/Users/dyoo/local/racket/collects/tests/datalog/main.rkt: [running body]
/Users/dyoo/local/racket/collects/compiler/commands/../../racket/private/map.rkt:53:19:
loop...
--------------------
[lots of error failures]
180 success(es) 12 failure(s) 0 error(s) 192 test(s) run
12
raco test: "./paren-examples/add1.rkt"
raco test: "./paren-examples/ancestor.rkt"
raco test: "./paren-examples/bidipath.rkt"
raco test: "./paren-examples/empty.rkt"
raco test: "./paren-examples/laps.rkt"
raco test: "./paren-examples/long.rkt"
raco test: "./paren-examples/path.rkt"
raco test: "./paren-examples/pq.rkt"
raco test: "./paren-examples/req.rkt"
raco test: "./paren-examples/revpath.rkt"
raco test: "./paren-examples/says.rkt"
raco test: "./paren-examples/sym.rkt"
raco test: "./paren-examples/true.rkt"
raco test: "./paren-examples/tutorial.rkt"
raco test: "./parse.rkt"
raco test: "./pretty.rkt"
raco test: "./private/env.rkt"
raco test: "./private/lex.rkt"
raco test: "./private/subst.rkt"
raco test: "./private/unify.rkt"
raco test: "./private/variant.rkt"
raco test: "./racket.rkt"
raco test: "./runtime.rkt"
raco test: "./test-docs-complete.rkt"
raco test: "./tool/syntax-color.rkt"
raco test: "./util.rkt"