diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-30 17:43:13 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-30 17:43:13 -0700 |
| commit | 48fed349a2fc592e7f015ecaa6cf98582446278f (patch) | |
| tree | 6a703769b5b244975df915a8af5c2edad4051d96 /.hgignore | |
| parent | 8c1a52e085aed20f62a5d24fb2af9bbd5cb3e469 (diff) | |
Fix an issue where the server would reverify the same file multiple times.
The confusing part here is that if one passes null as the ProgramId for two
consecutive calls to Boogie, then Boogie will return the same results twice,
regardless of what the second program was.
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions