gobra icon indicating copy to clipboard operation
gobra copied to clipboard

Published 20 hours ago • verified publisher icon viperproject

Interface predicate instances imply that the interface argument is not nil

Open Felalolf opened this issue 1 year ago • 2 comments

Title

Felalolf avatar Oct 03 '22 14:10 Felalolf

Please don't merge it yet, it is currently causing some incompletenesses in VerifiedSCION

jcp19 avatar Oct 05 '22 12:10 jcp19

I'm implementing @jcp19 wish by turning this PR into a draft

ArquintL avatar Oct 06 '22 07:10 ArquintL