commit | 240a709c5ea923d270be7819608d7bfd056f0988 | [log] [tgz] |
---|---|---|
author | Andrew V. Jones <andrew.jones@vector.com> | Tue May 21 21:47:19 2019 |
committer | Andrew V. Jones <andrew.jones@vector.com> | Tue May 21 21:47:19 2019 |
tree | eecdda1129ee849896d2903dc718fb27e88f4362 | |
parent | e32a0d609358f8790c35bb692dcf0d86e0ee68cb [diff] |
Conflict-based timeout tests are now performed with both CMS and Minisat