diff options
Diffstat (limited to 'Test/hofs/ResolveError.dfy')
-rw-r--r-- | Test/hofs/ResolveError.dfy | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Test/hofs/ResolveError.dfy b/Test/hofs/ResolveError.dfy index 1e389f04..31de9424 100644 --- a/Test/hofs/ResolveError.dfy +++ b/Test/hofs/ResolveError.dfy @@ -56,3 +56,8 @@ method Bla() { assert Bool; } +method Pli(f : A -> B) requires f != null; +{ + var o : object; + assert f != o; +} |