Revert "Add test that is expecting to fail"
authorEddie Hung <eddie@fpgeh.com>
Tue, 8 Oct 2019 19:41:26 +0000 (12:41 -0700)
committerEddie Hung <eddie@fpgeh.com>
Tue, 8 Oct 2019 19:41:26 +0000 (12:41 -0700)
commit3fb604c75d3e8ee45d35fac8b787cb95a8adcf84
treef4b6d69647be12cef339bc62a98cdd8028435aae
parentea54b5ea61ee242e1dfa7f257a10095f267b8171
Revert "Add test that is expecting to fail"

This reverts commit c28d4b804720c2cf0086e921748219150e9631b5.
tests/sat/initval.ys