Skipping entries with depth larger than the current store

tracer-x / TracerX

TracerX Symbolic Virtual Machine

https://tracer-x.github.io/

Other

31 stars 11 forks source link

Skipping entries with depth larger than the current store #295

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

In TxStore::markUsed(), instead of triggering an assert. This resolves issue with Coreutils 6.10 cut run crashes due to the triggering of the assertion.