Overview
Comment: | Reduce number of states allowed for re-run (was taking too long in test4). |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | v1.60 | v1.6001_beta3 |
Files: | files | file ages | folders |
SHA1: |
d00ad6b77e20e200ff3c530a581adf15 |
User & Date: | matt on 2014-10-03 00:47:28 |
Other Links: | branch diff | manifest | tags |
Context
2014-10-03
| ||
11:30 | Added fallback on evaluating CMDINFO to have it work in old areas check-in: 39c561201f user: mrwellan tags: v1.60 | |
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 | |
Changes
Modified tests/fullrun/megatest.config from [ceb1bb45a8] to [1a56e525e6]. [diff]