blob: 4c24893e08a944a62d67a5053cca6afb24f56cfa (
plain)
1
2
3
4
5
6
7
|
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.
Dafny program verifier finished with 4 verified, 0 errors
|
