blob: 0b6f3e308574131bd63f72fe7ad04573f6f34f1b (
plain)
1
2
3
4
5
6
7
8
9
|
triggers-prevent-some-inlining.dfy(17,2): Info: Selected triggers: {sum(a, b)}
triggers-prevent-some-inlining.dfy(24,10): Info: Some instances of this call cannot safely be inlined.
triggers-prevent-some-inlining.dfy(25,10): Info: Some instances of this call cannot safely be inlined.
triggers-prevent-some-inlining.dfy(24,10): Info: Some instances of this call cannot safely be inlined.
triggers-prevent-some-inlining.dfy(25,10): Info: Some instances of this call cannot safely be inlined.
triggers-prevent-some-inlining.dfy(24,10): Info: Some instances of this call cannot safely be inlined.
triggers-prevent-some-inlining.dfy(25,10): Info: Some instances of this call cannot safely be inlined.
Dafny program verifier finished with 4 verified, 0 errors
|
