Usee equiv_opt -assert
authorEddie Hung <eddie@fpgeh.com>
Sat, 7 Sep 2019 05:48:04 +0000 (22:48 -0700)
committerEddie Hung <eddie@fpgeh.com>
Sat, 7 Sep 2019 05:48:04 +0000 (22:48 -0700)
commit51b559af2cc60226d85880efc3705f0860ffaed6
treebc42b4a85e3da5b35e26daf59e154384bafb38a6
parentef0681ea4ca0b34689cbf14d5a4478e2785600d9
Usee equiv_opt -assert
tests/various/peepopt.ys