testing
Selectivity Tests Input Preservation and Uncertain Predicates
The central promise of a reducer is easy to state and surprisingly easy to weaken: the saved input should be smaller, while still satisfying the behavior being …
Tag
Testing
Tag
testing
The central promise of a reducer is easy to state and surprisingly easy to weaken: the saved input should be smaller, while still satisfying the behavior being …