commit | 970bddd8a0fc99eea8dcdc219f03c7644d48bf72 | [log] [tgz] |
---|---|---|
author | Sina Madani <sinadoom@googlemail.com> | Wed Jun 12 01:54:07 2019 +0100 |
committer | Sina Madani <sinadoom@googlemail.com> | Wed Jun 12 01:54:07 2019 +0100 |
tree | 264ed72429a75db5ec84d231ea03cc982d3a31d7 | |
parent | 8f8b8811abe64299419198dc3e36d02519fb8ac6 [diff] |
Added tests for short-circuiting EVL and ensured condition is revalidated after an unsatisfied constraint is found.