The tests are run by running "main.rkt", which has no rerrors when you
run it. It is a bit strange that those errors happen when run that
way, but I think it just means that "eval" should control the context
of the sub-programs more.
Jay
On Tue, Feb 26, 2013 at 1:07 PM, Danny Yoo <d...@hashcollision.org> wrote:
> 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"
> _________________________
> Racket Developers list:
> http://lists.racket-lang.org/dev
--
Jay McCarthy <j...@cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay
"The glory of God is Intelligence" - D&C 93
_________________________
Racket Developers list:
http://lists.racket-lang.org/dev
