Re: [creduce-bugs] crash in remove-namespace

[Yang Chen <chenyang@cs.utah.edu>]

HI Jeff,

I couldn't reproduce the failure. Looks like it has been fixed in the 
git head. Thanks for reporting the issue!

- Yang

On 4/16/21 3:31 PM, Jeff Trull wrote:
> Please see 
> https://www.dropbox.com/s/foornokn9ujjd0o/cr_testcase2.tgz?dl=0 for 
> testcase (GMail will not let me send a normal tarball).
>
> Thanks,
> Jeff