Add test that is expecting to fail
authorEddie Hung <eddie@fpgeh.com>
Wed, 2 Oct 2019 21:52:40 +0000 (14:52 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 2 Oct 2019 21:52:40 +0000 (14:52 -0700)
commitc28d4b804720c2cf0086e921748219150e9631b5
tree3389b73c06ba6913a2e65c72fae28d405d8c164a
parent6028f5df1a7f86e73028c6a0c2b63ab16a1335d6
Add test that is expecting to fail
tests/sat/initval.ys