[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [xsmith-dev] [Error 004] After update Racket to the newest version]
[Sorry if people get this twice, I'm re-sending to the list because
the first try didn't go through due to subscription issues on the
I think the problem is that you are using a recent Xsmith from gitlab
with an example from the documentation for the (stale, old) branch
published to the Racket package repository. When working with the
latest Xsmith, you should use the latest documentation, too.
In other words, don't use the Xsmith docs at
`https://docs.racket-lang.org`, but rather use your locally installed
documentation. You can get to the local documentation by running
`raco docs xsmith` (or with some other search term instead of
`xsmith`) in a terminal, or also somehow via DrRacket (I'm sure it's
easy, but I don't know how to do it offhand -- I always use `raco
docs`). The latest version of the example should work in the latest
version of Xsmith.
Eventually we will put a newer version of Xsmith on the Racket package
repository, at which point the documentation will also be updated.
On Mon, Mar 23, 2020 at 05:45:15AM +0000, TUO ZHAO wrote:
I hope you doing well.
I tried to use updated Racket (7.6) and XSmith from https://gitlab.flux.utah.edu/xsmith/xsmith.git to run the examples in https://docs.racket-lang.org/xsmith/index.html#%28part._.Minimal_.Example%29
And all of the examples give me Error 004 (which never appears when I use Racket 7.0 with newest version of XSmith)
I think the program runs correctly, since it gives me the result like before. But this error is really annoying. I attached all the output details with this email and hope those outputs can provide enough information. Please let me know if there is anything else I can provide.
Hope for your reply,
!!! Xsmith Error !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
Error 004: Error encountered while generating program!
Version: xsmith 1.2.0 (8d86c5d), in Racket 7.2
xsmith-command-line: contract violation
in: the range of
the 1st argument of
(-> (listof string?) string?)
(or/c procedure? #f)))
(list/c symbol? boolean?)
(-> any/c string?)
(or/c #f string?)
(or/c #f string?))
(assuming the contract is correct)
"/root/Downloads/test.rkt": [running body]
Program output captured:
(30 + (((28 + 12) + (89 + 56)) + ((84 + 10) + 2)))
----- End forwarded message -----