Use `sat -tempinduct` and comments for why equiv_opt not sufficient
authorEddie Hung <eddie@fpgeh.com>
Thu, 3 Oct 2019 18:11:50 +0000 (11:11 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 3 Oct 2019 18:11:50 +0000 (11:11 -0700)
commit045f34403889b69f3ac3ac08d96e5cf1fae787d1
tree64efd40a13665b66c34182c4b5dec1b3c30ba471
parente9645c7fa7fc349afad103ff8736699bb4dc0412
Use `sat -tempinduct` and comments for why equiv_opt not sufficient
tests/various/peepopt.ys