[xsmith-dev] [Error 004] After update Racket to the newest version

[Eric Eide]

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