[racket-dev] datalog tests failing on HEAD?

From: Danny Yoo (dyoo at hashcollision.org)
Date: Tue Feb 26 15:07:08 EST 2013

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"

Posted on the dev mailing list.