Add a way to whitebox test deadness analysis.
I don't think adding whitebox tests is necessary for the code that's checked in today, but I'm working on a CL for which I'd prefer writing whitebox tests. Also fix a minor issue with SymbolPredicate::ToString() where we were dropping the must_be_true() bit. PiperOrigin-RevId: 207289695
Loading
Please sign in to comment