diff mx/outputparser.py @ 21038:6868faf48f02

Conditional Elimination: tryProofCondition: return true if ShortCircuitOrNode could be proven
author Gilles Duboscq <gilles.m.duboscq@oracle.com>
date Sat, 18 Apr 2015 19:56:22 +0200
parents dc3c8df55905
children
line wrap: on
line diff