tree 264ed72429a75db5ec84d231ea03cc982d3a31d7
parent 8f8b8811abe64299419198dc3e36d02519fb8ac6
author Sina Madani <sinadoom@googlemail.com> 1560300847 +0100
committer Sina Madani <sinadoom@googlemail.com> 1560300847 +0100

Added tests for short-circuiting EVL and ensured condition is revalidated after an unsatisfied constraint is found.