Added test case for rewrites of expressions to use leq instead of eq#220

srba merged 2 commits into

TAPAAL:mainTAPAAL/verifypn:mainfrom

mtygesen:negative-expr-rewrite-testmtygesen/verifypn:negative-expr-rewrite-testCopy head branch name to clipboard