100644 blob 63ea0c7e8d748896024b37164ae2b5cf1e4bd8bb	AssumeReturnsFieldWithSubtypingTest.java
100644 blob 0c6c8b800c8019f7300c6c457d3671cc85f1aeac	AssumeValuesForConstantValuedFieldTest.java
100644 blob 852409ffd8978e6ca502659b440089d6cc3580fa	AssumeValuesForLibraryMethodTest.java
100644 blob 0caf415ec61dc4707c39abc7987fa230bd759259	AssumeValuesMaterializeFieldReadTest.java
100644 blob cc00fac2da886b24dcab5dca8a1a0d430d22f872	AssumeValuesMissingStaticFieldDiagnosticTest.java
100644 blob eb205d005e47380305756dc235bf19ad1a436e4b	AssumevaluesWithMultipleTargetsTest.java
100644 blob 81d33fc784893d726266702e1d6a7eb34ecb7a29	DeadFieldAfterAssumevaluesTest.java
100644 blob ce5e0fe00755372d6f82c7b661d24467db33f503	SynthesizedRulesFromApiLevelTest.java