diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-19 15:48:32 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-19 15:48:32 -0700 |
| commit | 8b40a61b3e0dd5c8154cd2095a2fa813e0d7c9c5 (patch) | |
| tree | 9780fd99dcba9925de04ef2b9e02716c28d063d1 /Source/DafnyServer | |
| parent | c311617de4641a4eef54a0ce1bc51574effa2756 (diff) | |
Collect ApplyExpr nodes when looking for trigger candidates
Diffstat (limited to 'Source/DafnyServer')
0 files changed, 0 insertions, 0 deletions