| Title | nailboardtest failure |
| Status | closed |
| Priority | essential |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | See Travis build on the 2014-04-08/align branch [1]: lii6ll/cool/nailboardtest: randomize(): choosing initial state (v3): 1664063771. NailboardIsResRange: 0 Aborted This is reproducible on xci6ll on the master sources with the given seed. |
| Analysis | None as yet. |
| How found | automated_test |
| Evidence | [1] <https://travis-ci.org/Ravenbrook/mps-temporary/jobs/22628686> |
| Test procedure | nailboardtest |
| Created by | Gareth Rees |
| Created on | 2014-04-09 19:25:35 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-10-20 17:36:17 |
| History | 2014-04-09 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 185421 | closed | 2014-04-10 12:24:49 | Gareth Rees | Correct the nailboard level sizes; add assertion to nailboardIndex checking this. |