RTest, a random testing framework

[BCS]

Reply to Fawzi,


> ok I see how this could work, you have one where clause for each
> generator, and that is used to pick up the type and the address of the
> variable and store them is some structure (like a Variant).
> Then subsequent messages would set the generator, and maybe
> constraints.
> It could be done, and would be an interesting and challenging
> project...
> Would it be easier to use or simpler to implement than string mixins?
> I don't know, probably not, still an interesting approach.
> 

Easier to use, yes. For one, it would syntax highlight correctly! Also the 
parse errors get better messages. Easier to write? probably not, but it might 
not be harder either.

> thanks for the feedback BCS!
> 
> Fawzi
> 
>> p.s. typo: Assert(1/x=pow(x,-1)).  -> Assert(1/x==pow(x,-1)).
>> 
> and the second where should be Where(y) :)
> 

There was a reason I did it that way... Darn I forget what. But you are correct 
that line is wrong (but switching to y might not the the solution).