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