Revert to using clean
authorEddie Hung <eddie@fpgeh.com>
Tue, 27 Aug 2019 16:24:32 +0000 (09:24 -0700)
committerEddie Hung <eddie@fpgeh.com>
Tue, 27 Aug 2019 16:24:32 +0000 (09:24 -0700)
commit00387f39277ab817b3b17e72b59793e6d5dfcde8
tree834e46988a887bca6f97e4ec9cfbf3ee27707a19
parentdc87372a97d515563ccccd517ef8f35662870fe6
Revert to using clean
tests/sat/initval.ys