[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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@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