Re: Feature request: Optional, simplified syntax for simple contracts

[Lionello Lunesu]

On 6/16/13 8:42, Timon Gehr wrote:

On 06/16/2013 02:19 AM, Manu wrote:

Super awesome idea! How about coma separated expressions to perform
multiple asserts?

int func(int i, int j) in(i<5, j<10)
{
   return i + j;
}
...

Use &&.

Not the same. && won't tell you which one failed.