| Title | MPS auto_header format is not tested by main test files |
| Status | open |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | MPS auto_header format is not tested by main test files Related jobs: job001784 "MPS AMC pool + auto_header format: nailboards leak ControlPool memory" RHSK 2008-03-12 The auto_header format is not tested by main test files, because *separate source files* have been created: amcsshe/asss/awluthe. This makes it more laborious to test auto_header, decreases regular testing, and makes maintianing the tests more expensive and error-prone. |
| Analysis | RHSK 2008-03-12 Fix: parameterise the main tests. |
| How found | inspection |
| Evidence | http://info.ravenbrook.com/project/mps/master/code/amcsshe.c#12 |
| Observed in | 1.108.1 |
| Introduced in | 1.100.0 |
| Created by | Richard Kistruck |
| Created on | 2008-03-12 08:54:36 |
| Last modified by | Gareth Rees |
| Last modified on | 2013-03-12 15:18:38 |
| History | 2008-03-12 RHSK Created, inspired by job001784. 2013-03-12 GDR Assigned to me; priority downgraded to nice. |