Drasil
Drasil copied to clipboard
`ChunkDB`: error out on duplicate UID insertion.
Everything added to the ChunkDB should be added only once. Currently, we seem to be overwriting data by inserting over UIDs.
Case Studies (ones without checkmarks have duplicate UID insertions [within the same table]):
- [ ] dblpend
- [ ] gamephysics
- [ ] glassbr
- [X] hghc
- [ ] pdcontroller
- [ ] projectile
- [ ] sglpend
- [ ] ssp
- [ ] swhs
- [ ] swhsnopcm
- [ ] template
Indeed - those should be hard errors.
@jackwyand I added the list of problematic case studies to the OP.