Contract Ghost variables
hbourbouh opened this issue · 1 comments
hbourbouh commented
I noticed that contract ghost vars are limited to one var per statement:
var v:v_type = e;
How we can declare more than one var for the same expression?
var (v1,v2) :(t1, t2)= f(); where f could be a function/node with two outputs.
Is it not currently supported by Kind2?
daniel-larraz commented
That's right. It is not currently supported.