diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-27 21:25:06 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-27 21:25:06 -0700 |
| commit | 1e725f0c9382a3dd8be109d160581868c9567f61 (patch) | |
| tree | 8f4112342c757d402b9e74dbe1b15a6dd3e1001c /Binaries | |
| parent | 7a993f6c87eaa82f383b1c5e7411f1878d4edf30 (diff) | |
Further relax the loop detection conditions
Mismatches are now allowed up to expressions not involving any of the bound
variables of the quantifier under inspection.
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions