examples\list_insert_tmp.sil doesn't verify

Open viper-admin opened this issue 6 years ago • 1 comments

Created by @fabiopakk on 2019-11-18 14:01 Last updated on 2019-11-18 14:12

Similarly to issue viperproject/silicon~~https://github.com/viperproject/carbon/issues/190~~ in Silicon, Carbon is also failing at the same line with the same error: “Applying wand might fail”. See also issue viperproject/silicon#191 (Silicon).

Nov 18 '19 14:11 viper-admin

@fabiopakk on 2019-11-18 14:12:

edited the description

Nov 18 '19 14:11 viper-admin