2 check-ins using file megatest.scm version f847cc198f
|
2014-10-03
| ||
| 00:47 | Reduce number of states allowed for re-run (was taking too long in test4). check-in: d00ad6b77e user: matt tags: v1.60, v1.6001_beta3 | |
| 00:34 | Added z3 compression to CMDINFO handling - half the lenght check-in: c887cc0a1d user: matt tags: v1.60 | |