Even more obvious testcase
authorEddie Hung <eddie@fpgeh.com>
Thu, 12 Dec 2019 07:52:05 +0000 (23:52 -0800)
committerEddie Hung <eddie@fpgeh.com>
Thu, 12 Dec 2019 07:52:05 +0000 (23:52 -0800)
commit4a805108776f563bcd7550d1331a73a50512fbe2
tree0f458363389e75544899a1b1c17086bb708b4d7e
parent61a1f3f49b7bd0478b92c0933c487af5803c53f9
Even more obvious testcase
tests/sat/initval.ys