> > # Example of probabilistic specifications
> >
> > context "random generation" do
> >   unlikely "that two consecutive calls to rand gives the same value" do
> >     rand(1000) == rand(1000)
> >   end
> >
> >   likely "that two consecutive calls to rand gives different values" do
> >     rand(1000) != rand(1000)
> >   end
> > end
>
Forgot one thing:

Some decision has to be made if setup code should be run before each
eval of the block or only before the repeated repetitions. To make it
more in line with the rest of test/spec maybe setup code should run
before every eval of the unlikely/likely blocks?

/Robert Feldt