[xsmith-dev] xsmith-dev Digest, Vol 4, Issue 2

[TUO ZHAO]

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:
1) `wget https://mirror.racket-lang.org/installers/7.6/racket-7.6-x86_64-linux.sh`
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 at flux.utah.edu <xsmith-dev-bounces at flux.utah.edu> on behalf of xsmith-dev-request at flux.utah.edu <xsmith-dev-request at flux.utah.edu>
Sent: Monday, March 23, 2020 12:00 PM
To: xsmith-dev at flux.utah.edu <xsmith-dev at flux.utah.edu>
Subject: xsmith-dev Digest, Vol 4, Issue 2

Send xsmith-dev mailing list submissions to
        xsmith-dev at 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 at flux.utah.edu

You can reach the person managing the list at
        xsmith-dev-owner at 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 at utah.edu>
To: "xsmith-dev at flux.utah.edu" <xsmith-dev at flux.utah.edu>
Subject: [xsmith-dev] [Error 004] After update Racket to the newest
        version
Message-ID:
        <BYAPR11MB351036C6BD99CB47D430CD49E1F00 at 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 at cs.utah.edu>
To: Xsmith Dev Mailing List <xsmith-dev at flux.utah.edu>
Subject: Re: [xsmith-dev] [Error 004] After update Racket to the
        newest  version
Message-ID: <m1wo7burk1.fsf at cs.utah.edu>
Content-Type: text/plain

TUO ZHAO <u1129777 at 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 at 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
****************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </listarchives/xsmith-dev/attachments/20200323/2c110ff3/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: output.txt
URL: </listarchives/xsmith-dev/attachments/20200323/2c110ff3/attachment.txt>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test.rkt
Type: application/octet-stream
Size: 1486 bytes
Desc: test.rkt
URL: </listarchives/xsmith-dev/attachments/20200323/2c110ff3/attachment.obj>