100644 blob 63ea0c7e8d748896024b37164ae2b5cf1e4bd8bb	AssumeReturnsFieldWithSubtypingTest.java
100644 blob 0c6c8b800c8019f7300c6c457d3671cc85f1aeac	AssumeValuesForConstantValuedFieldTest.java
100644 blob 852409ffd8978e6ca502659b440089d6cc3580fa	AssumeValuesForLibraryMethodTest.java
100644 blob 31930b091c75f022a5287f2950e368be1393df28	AssumeValuesMaterializeFieldReadTest.java
100644 blob cc00fac2da886b24dcab5dca8a1a0d430d22f872	AssumeValuesMissingStaticFieldDiagnosticTest.java
100644 blob 4455ff1d06a2b35d7fe0a36a2a318600d3aa4f1f	AssumevaluesWithMultipleTargetsTest.java
100644 blob 4509531f7066434335391d1628bf942e9a52d247	DeadFieldAfterAssumevaluesTest.java
100644 blob ee49eb3b14bbc9e01da4661ff6f569ddafab312b	SynthesizedRulesFromApiLevelTest.java