Hi Professor Edie,
Sorry for the confusing out put I attached, the reason it shows Racket 7.2 is that I also tested the program in Racket 7.2 and I attached the wrong output. I tested both Racket 7.6 and 7.2 in my own machine (Ubuntu), in a virtual machine with Kali Linux as
well as set up an Emulab (Ubuntu 16.04.1 LTS). And all of those setups shows the same error.
Here is what I did:
2) `chmod +x racket-7.6-x86_64-linux.sh`
3) `./racket-7.6-x86_64-linux.sh`, select all default settings, and for emulab I change the path to `./racket` which is the current directory I'm in
4) Then I added `racket/bin` to PATH so that I could call `racket`
5) Then I clone the latest XSmith: `git clone
https://gitlab.flux.utah.edu/xsmith/xsmith.git`
6) `cd xsmith` and `make`
After all those steps, I run the example and get error.
I attached more details output with this email, as well as the example I run (which I just copied from the XSmith doc (https://docs.racket-lang.org/xsmith/index.html#%28part._.Minimal_.Example%29).
All the best,
Jack
From: xsmith-dev-bounces@flux.utah.edu <xsmith-dev-bounces@flux.utah.edu> on behalf of xsmith-dev-request@flux.utah.edu <xsmith-dev-request@flux.utah.edu>
Sent: Monday, March 23, 2020 12:00 PM To: xsmith-dev@flux.utah.edu <xsmith-dev@flux.utah.edu> Subject: xsmith-dev Digest, Vol 4, Issue 2 Send xsmith-dev mailing list submissions to
xsmith-dev@flux.utah.edu To subscribe or unsubscribe via the World Wide Web, visit http://www.flux.utah.edu/mailman/listinfo/xsmith-dev or, via email, send a message with subject or body 'help' to xsmith-dev-request@flux.utah.edu You can reach the person managing the list at xsmith-dev-owner@flux.utah.edu When replying, please edit your Subject line so it is more specific than "Re: Contents of xsmith-dev digest..." Today's Topics: 1. [Error 004] After update Racket to the newest version (TUO ZHAO) 2. Re: [Error 004] After update Racket to the newest version (Eric Eide) ---------------------------------------------------------------------- Message: 1 Date: Mon, 23 Mar 2020 05:45:15 +0000 From: TUO ZHAO <u1129777@utah.edu> To: "xsmith-dev@flux.utah.edu" <xsmith-dev@flux.utah.edu> Subject: [xsmith-dev] [Error 004] After update Racket to the newest version Message-ID: <BYAPR11MB351036C6BD99CB47D430CD49E1F00@BYAPR11MB3510.namprd11.prod.outlook.com> Content-Type: text/plain; charset="iso-8859-1" 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: </listarchives/xsmith-dev/attachments/20200323/d2118799/attachment.html> -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: error.txt URL: </listarchives/xsmith-dev/attachments/20200323/d2118799/attachment.txt> ------------------------------ Message: 2 Date: Mon, 23 Mar 2020 07:30:38 -0600 From: Eric Eide <eeide@cs.utah.edu> To: Xsmith Dev Mailing List <xsmith-dev@flux.utah.edu> Subject: Re: [xsmith-dev] [Error 004] After update Racket to the newest version Message-ID: <m1wo7burk1.fsf@cs.utah.edu> Content-Type: text/plain TUO ZHAO <u1129777@utah.edu> writes: > 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 I have not dug into the problem you repored, but it looks like you are *not* using Racket 7.6. The output of Xsmith shows that you are running Racket 7.2. My advice: Make sure that you have only one copy of Racket installed. > !!! 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: -- ------------------------------------------------------------------------------- Eric Eide <eeide@cs.utah.edu> . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX End of xsmith-dev Digest, Vol 4, Issue 2 **************************************** |
jackz@node0:~$ racket test.rkt !!! Xsmith Error !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! Error 004: Error encountered while generating program! Options: Version: xsmith 1.2.0 (8d86c5d), in Racket 7.6 Options: Seed: 2066698601 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: /users/jackz/test.rkt (assuming the contract is correct) at: <pkgs>/xsmith/private/xsmith-command-line.rkt:46.3 context...: /users/jackz/racket/collects/racket/contract/private/blame.rkt:347:0: raise-blame-error /users/jackz/xsmith/xsmith/private/xsmith-command-line.rkt:341:26 /users/jackz/racket/collects/racket/port.rkt:132:0: with-output-to-string /users/jackz/xsmith/xsmith/private/xsmith-command-line.rkt:288:8 /users/jackz/xsmith/xsmith/private/xsmith-command-line.rkt:282:2: generate-and-print!/xsmith-parameterized /users/jackz/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 "/users/jackz/test.rkt": [running body] temp35_0 for-loop run-module-instance! perform-require! Program output captured: 2 jackz@node0:~$ racket -v Welcome to Racket v7.6.
Attachment:
test.rkt
Description: test.rkt