|
Hi all,
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,
Best,
Jack
|
!!! Xsmith Error !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
Error 004: Error encountered while generating program!
Options:
Version: xsmith 1.2.0 (8d86c5d), in Racket 7.2
Options:
Seed: 1094154696
Debug Log:
Exception:
xsmith-command-line: contract violation
expected: ast-node?
given: #<void>
in: the range of
the 1st argument of
(->*
((-> ast-node?))
(#:comment-wrap
(-> (listof string?) string?)
#:default-max-depth
number?
#:extra-parameters
(listof
(list/c
dash-dash-string?
string?
parameter?
(or/c procedure? #f)))
#:features
(listof
(or/c
(list/c symbol? boolean?)
(list/c
symbol?
boolean?
(listof string?))))
#:format-render
(-> any/c string?)
#:fuzzer-name
(or/c #f string?)
#:fuzzer-version
(or/c #f string?))
void?)
contract from:
<pkgs>/xsmith/private/xsmith-command-line.rkt
blaming: /root/Downloads/test.rkt
(assuming the contract is correct)
at: <pkgs>/xsmith/private/xsmith-command-line.rkt:46.3
context...:
/usr/share/racket/collects/racket/contract/private/blame.rkt:347:0: raise-blame-error16
/root/Downloads/xsmith/xsmith/private/xsmith-command-line.rkt:341:26
/usr/share/racket/collects/racket/port.rkt:132:0: with-output-to-string
/root/Downloads/xsmith/xsmith/private/xsmith-command-line.rkt:288:8
/root/Downloads/xsmith/xsmith/private/xsmith-command-line.rkt:282:2: generate-and-print!/xsmith-parameterized
/usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt:430:3
"/root/Downloads/test.rkt": [running body]
temp37_0
for-loop
run-module-instance!125
perform-require!78
Program output captured:
(30 + (((28 + 12) + (89 + 56)) + ((84 + 10) + 2)))