Make testcase clearer with \o having its own init
authorEddie Hung <eddie@fpgeh.com>
Thu, 12 Dec 2019 07:48:09 +0000 (23:48 -0800)
committerEddie Hung <eddie@fpgeh.com>
Thu, 12 Dec 2019 07:48:09 +0000 (23:48 -0800)
commit61a1f3f49b7bd0478b92c0933c487af5803c53f9
tree64c01c1094c1854fe2ebbf161fe13682fe66458f
parent9a892199f72bb08f78c868fe8ab5b8a63cf25f37
Make testcase clearer with \o having its own init
tests/sat/initval.ys