viper-admin

> **@alexanderjsummers** commented on 2016-07-30 17:23 note that if the filename is provided but doesn't exist one gets the same error as if it had not been provided - this...

> **@gauravpartha** on 2019-02-26 15:53: > * edited the description > * changed the assignee from (none) to **@gauravpartha**

> **@gauravpartha** commented on 2019-03-11 09:12 Carbon also crashes when providing --help as argument (the possible options are correctly printed but then the program crashes).

> **@mschwerhoff** commented on 2016-02-15 22:23 ``` #!text function zip(xs: Seq[Ref], ys: Seq[Ref]): Seq[Ref] requires |xs| == |ys| || |xs| == |ys| + 1 { (ys == Seq[Ref]()) ? xs...

> **@alexanderjsummers** commented on 2017-03-13 11:26 Thanks for the report and repro. I'm not 100% sure what error message we would like, here (whether we want to see instantiated contracts...

> **@alexanderjsummers** commented on 2017-03-13 17:36 How about generating a message ``` #!scala Assertion (forall b: Int :: { f(z, b) } f(z, b)) where z==(3 > 2 ? 3...

> **@mschwerhoff** commented on 2017-03-17 10:24 See also [Silicon issue #276](https://github.com/viperproject/silicon/issues/276)

> **@marcoeilers** commented on 2017-03-27 13:32 Commit contains a temporary fix for this which does the same as Malte's fix for the aforementioned Silicon issue. We should, of course, still...

> **@mschwerhoff** commented on 2017-06-19 10:02 Also affects `all/issues/silicon/0292.sil`

> **@alexanderjsummers** commented on 2017-05-15 17:02 Note that the let expression doesn't type-check (but that's not the message which is generated)