diff options
author | Andres Noetzli <noetzli@stanford.edu> | 2019-06-27 00:25:50 -0700 |
---|---|---|
committer | Andres Noetzli <noetzli@stanford.edu> | 2019-06-27 00:25:50 -0700 |
commit | 0e351fa7868a60b13e5a0b0045b98c7591650926 (patch) | |
tree | 0c49721661e4fd8627d9354e99fa9dc30f11bf63 /test | |
parent | 0382d972dcd31f34ec156c61adfe5d40c8a32788 (diff) |
Avoid printing "success" for forced logicsmtcomp2019_fixed
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions