100644 blob 6ad7a76231c0678ae547a829bc7bbbd24f016fa6	README.md
100644 blob 912df568a728635328e21d6d4a42afdf76a6f869	WholeProgramInferenceNullnessJaifsTest.java
100644 blob dd0414271ede665e479b0810149f04e82e806b7d	WholeProgramInferenceNullnessJaifsValidationTest.java
100644 blob 684c866de33ef13ecc6daa3945e1ab3862dd3778	WholeProgramInferenceTestCheckerAjavaTest.java
100644 blob 253033a5cb055e5bb859d6f6cd2c5dae506cdd4e	WholeProgramInferenceTestCheckerAjavaValidationTest.java
100644 blob 5c75e125a8e2848bb11d127ba51b5122cf0d11a1	WholeProgramInferenceTestCheckerJaifsTest.java
100644 blob e09e266d69494069b0044fd61def80b866016e73	WholeProgramInferenceTestCheckerJaifsValidationTest.java
100644 blob 2c39078bff7b3d50c2909d1b60bc95c19b10a75c	WholeProgramInferenceTestCheckerStubsTest.java
100644 blob 497a4fbbe3f546f5b32b6b7b01d789f1cf155d93	WholeProgramInferenceTestCheckerStubsValidationTest.java