On 1/15/15, 2:48 PM, Robby Findler wrote:
> Can you randomly make up programs from your grammar, get example
> errors from the tool, and then run those programs to see if you
> find bugs in the analysis like that one?
Yes, we're planning to do this.
> That said, I don't see how the bug in >=/c is coming in here. Can
> you explain more?
On further inspection, the counterexample is wrong. (There are
counterexamples due to the model of >=/c, but the one that reported is
not an actual one.) This will be fixed shortly.
Racket Developers list: