[racket-dev] datalog tests failing on HEAD?

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Wed Feb 27 09:01:55 EST 2013

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 <dyoo at 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 <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93

Posted on the dev mailing list.