blob: 46ec143e8170a16b2ebf1f931615a4075f315f31 (
plain)
1
2
3
4
|
auto-triggers-fix-an-issue-listed-in-the-ironclad-notebook.dfy(21,11): Info: Selected triggers:
{HashtableLookup(h2, k)}, {HashtableLookup(h1, k)}
Dafny program verifier finished with 3 verified, 0 errors
|