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

[Timon Gehr]

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 &&.