| commit | c7b83a0d8ac73bdfff751619ae2a34948e3534b7 | [log] [tgz] |
|---|---|---|
| author | Mathieu Chartier <mathieuc@google.com> | Tue Sep 11 18:07:39 2012 -0700 |
| committer | Mathieu Chartier <mathieuc@google.com> | Wed Sep 12 10:49:20 2012 -0700 |
| tree | 6b01745b26a1f1abd30e58efe7aadd56964761de | |
| parent | 88c95be62362537b46393e0c7e69d48f22e14ef3 [diff] |
Better verification: Detection of missing card marks and dead system weaks. Added a few additional verification functions. Verification of missing card marks. Checks that all objects on clean cards do not reference objects in live stack. Verification of system weaks. Checks that all of the system weaks are live. Verify objects seems to also be fixed now. It is however, rediculously slow and barely usable. Change-Id: Ieb5765df59210faa8fdf937cadf6ee51532d8bcb