100644 blob 580b3c8b0ef6c3fabb99a434ed7c69ccc120f534	AndExample.java
100644 blob c8008a159f1f7e1603076b66ad0ba98ef427d344	AnnotatedJDKTest.java
100644 blob 5b007643053f85ae8c7917d3acbd2ed508114af2	ArrayAsList.java
100644 blob 854ceb35e1046058a6e5873ffb8d20089501a483	ArrayAssignmentSameLen.java
100644 blob 8f95666bae007da47298a44351b7b30866323c5d	ArrayAssignmentSameLenComplex.java
100644 blob c6ee6dcc6ccb4b656261dabf92f4730f1bb1e6e1	ArrayConstructionPositiveLength.java
100644 blob b73f95ca37f03c78a3508299adf8d6a94f105080	ArrayCopy.java
100644 blob 636c723bea6804bed54776fd78bc858414c73c14	ArrayCreationChecks.java
100644 blob 188cc2122013b0ed9cdabf36915a55e71385f008	ArrayCreationParam.java
100644 blob f526c0f7acd67e74a6f4b8524041c2fc923d6f57	ArrayCreationTest.java
100644 blob 4611c4fbfa49aa00cb0c12ecaa9276855614a501	ArrayIntro.java
100644 blob b55a4bc60d646641e46756ddaaa637a7aa36704f	ArrayIntroWithCast.java
100644 blob 932ed3364ab4ceb9a5c1ef4eb785953cd6805e30	ArrayLenTest.java
100644 blob 7dece22d3908010e485a51d76fbf99d553de1483	ArrayLength.java
100644 blob 5fece54fb683da3a2a64391a9b8f33db1288730b	ArrayLength2.java
100644 blob 4299e5ba82ce152f10bea33431cdc79e521c5213	ArrayLength3.java
100644 blob 0d209389a844fe8a1f710ae367c35e9238399697	ArrayLengthEquality.java
100644 blob 84caa60b64ae4b6024fbec4b39c6b9417cc1dc2f	ArrayLengthLBC.java
100644 blob deb5739aa019fefc8a5cec9f134114b59c72708a	ArrayNull.java
100644 blob ccc318789bbcc9f1203a26273bd9f19e039a8f16	ArrayWrapper.java
100644 blob a4220bc70be9ee3cae4c5e6e2f1cc24ec93be9d4	ArraysSort.java
100644 blob 2c34408b4751d3f5afe3a1d46583543e0d607e1e	BasicSubsequence.java
100644 blob 6ac9ccc08eb7b3fdc9a1694f42ee5ed0cc4725e8	BasicSubsequence2.java
100644 blob b99257052b8a3fe27886f29a3dfeacae576851bc	BasicSubsequence3.java
100644 blob 039f7f2a8d83d15acf214ce953fb004208c89589	BigBinaryExpr.java
100644 blob df6ea8bab093cb7572da02ad19dd0eca126bf995	BinarySearchTest.java
100644 blob ac264fb366014800c044cf53f8777593be65cc4c	BinomialTest.java
100644 blob a47ef7bde465653cd5944440bd2a619155a7ddd6	BitSetLowerBound.java
100644 blob 9835b691b87354af595cba6f419944cd81375ae5	Boilerplate.java
100644 blob 213ddcef6b5f29105f5124c6f537ea7b01c984a3	BottomValTest.java
100644 blob c6c779774ae7fbbfce4779db8976e7376828c4ec	CastArray.java
100644 blob a143eae338c1f205f06c82255dcafbb2e2521ecc	CharPrintedAsVariable.java
100644 blob c5164b5133c4bec6a98d57d4754e7a40ccc45946	CharSequenceTest.java
100644 blob 1344b43b571caa3cb06b3c07525f7a3f9acd33a9	CharToIntCast.java
100644 blob 211e9221546dbaf256e882e67a5f9b63c0def27c	CheckAgainstNegativeOne.java
100644 blob dcc185472904a7bce4df11dbe8bbda751ec3f294	CheckNotNull1.java
100644 blob 03047e6bf69fc95570e5b64ff269c4f666f2b580	CheckNotNull2.java
100644 blob 817eecb438629385ba3b49dfd715f585e9ea8c1c	CombineFacts.java
100644 blob 8ac834cccb8f2ff350e55844f173af6cb0418739	CompareBySubtraction.java
100644 blob 65f577b1113ba9ae0c30b3d789c4900bd4c9182d	CompoundAssignmentCheck.java
100644 blob 2616ddbc8da8eb4226dd9bd2c477003a157e95b3	ComputeConst.java
100644 blob 1ee3ec1d3187e1666138af044dbc571ea83cc492	ConditionalIndex.java
100644 blob 5f606cb83ceff0fe37511f135c2f81d88427470c	ConstantArrays.java
100644 blob bd5cccfb8b852ea4dfee39d19fb6ca38d402df1f	ConstantOffsets.java
100644 blob 22871601e5cfdff683146eef88551e69bf94e343	ConstantsIndex.java
100644 blob 8ace86d0176c7fc1c3340381d74b9e8d1f9726d8	CustomContractWithArgs.java
100644 blob 4a4beb8acf29c4318c5f1bc0459f266b101cf138	DaikonCrash.java
100644 blob bf4ae6a759a1e04f99fb7f1aeb26d5c9afb9bc7a	DefaultingForEach.java
100644 blob b2ab086e61ee1593c6e7144cd692f3ee49790987	Dimension.java
100644 blob 26003be29c75456893418fce601195600edf8bc9	DivisionTest.java
100644 blob a41ff8bcc19aa5cf2ee06a2797643d1c255a5816	EndsWith.java
100644 blob 5034b5930d3a84584c33f6c44aa6984935249518	EndsWith2.java
100644 blob 7a23d1f26161fe3430eb90799cd788d6c9e014f5	EnumValues.java
100644 blob b9cd7f503003bd0f1d64c18b73e35ae723464b07	EqualToIndex.java
100644 blob b8bfac310237591e38858644974eba613bc26f0c	EqualToTransfer.java
100644 blob 9c225942e49acfaef4c22bc626d611391d38e5d3	ErrorMessageCheck.java
100644 blob d68201cd9a95d02bc614cde42f3ac309299b38d6	Errors.java
100644 blob 005c1475fad2a73eecf402ee577f787a7a845126	ExampleUsage.java
100644 blob 7d4f361387f35ba9975c4979100439512ef8e159	GenericAssignment.java
100644 blob eb650a296c967b49b34b8e8c791ba3f218b1e911	GreaterThanOrEqualTransfer.java
100644 blob bd7394e29d83011261244c9110c239fa7812e47d	GreaterThanTransfer.java
100644 blob 0236b323b97131c3694920a2d8bac06bd2adb063	GuavaPrimitives.java
100644 blob 77f3be1d28438ab27064f888bfabc04f382597a9	HexEncode.java
100644 blob ae9cc8e78c7ac20d765a6f06715296165d125dbe	Index115.java
100644 blob 411851bb7edf675091a3153d1d6fd118ddebb2c6	Index118.java
100644 blob 6a3ba94a823fefff61681581b3ceb3d16dc9178c	Index118NoLoop.java
100644 blob 4cbfe2629c954a5c2e9eef86b4b5204425b016e7	Index132.java
100644 blob 163e21f5585806751fefe9d8fc439b018fdde44e	Index166.java
100644 blob 53b456e0fe69c7980e1a907e9614dc4193cc7f69	Index167.java
100644 blob 0c5649df61f21996df37c1b03a515f866eceb17d	Index176.java
100644 blob df049c0f8b327e30e554d9e25162f90ffdc65a00	IndexByChar.java
100644 blob 469b1fd333c3cafaf6b1afa016dcb1b83d631ea8	IndexConditionalReport.java
100644 blob 01ac9eef128ab8a41092bb92cff729d3a757fd30	IndexForAverage.java
100644 blob abd0c1f5c21b68ef5734670c233757fea7b6e2f3	IndexForTest.java
100644 blob f926774c9b8407b636673f04d421b03b5a2ed51c	IndexForTestLBC.java
100644 blob 4e31190b64c99abd60f192b042370e88f3aac9dc	IndexForTwoArrays.java
100644 blob 9606190477beeef98c9884006d8616252f2b163d	IndexForTwoArrays2.java
100644 blob c01775d77899b06f621bad7b0434f238cd12fe9e	IndexForVarargs.java
100644 blob 8c0c8f53c3c3b8debce127f6d3f5f96b6b8e8970	IndexIntValVsConstant.java
100644 blob 0596d409593ae5fee26476b826a2d03114d0fdfe	IndexOf.java
100644 blob 38f9b73e8ace0d78f5cdee5c09124aac4f56789d	IndexOrLowTests.java
100644 blob 90d2bb18a0d0d2b66f249c191b39ff11e5214438	IndexSameLen.java
100644 blob 8adcc7be32d4b8d8ca492acc606335c28d893163	IntroAdd.java
100644 blob 58519638f7623957400cf53da245b5732d292aba	IntroAnd.java
100644 blob 1ac1ce52c437ff3b0703ec3f7a59ad316a5a12db	IntroRules.java
100644 blob f89a9e6657a5b9484d29a7729e64938af3d69450	IntroShift.java
100644 blob bbfa2117d663b183b6b5be2d44a3f5739cf335a8	IntroSub.java
100644 blob e4e29653ca579dc29a236c04dd4ebf6d085519e8	InvalidSubsequence.java
100644 blob 75b9bf10655c532a9b56a197e6678d07f387e57f	Issue1411.java
100644 blob 19e06f1889a683ab8869220980c52cb1c9889060	Issue194.java
100644 blob 1916f000ccf36d74fb0103ec985858f2abb970eb	Issue1984.java
100644 blob 67d4a515da152c16b907d615a26ba3fea372b7d4	Issue20.java
100644 blob c93562f6acb74789259acc5125ad186f8106e17f	Issue2029.java
100644 blob b6465b073b5e38ecb16d9b934024985374f06cde	Issue2030.java
100644 blob 226a558201b1a4d905f84b5f0eb4a7e63b63c9b1	Issue21.java
100644 blob bd8c57d1834faf6dfbc7e498c0ff1873b90c4773	Issue2334.java
100644 blob d6f2f79dd01c302436132b5b0c1d401b2e3396e8	Issue2420.java
100644 blob e321b7dbfe0d0ac82e4e36675e714f8ed8a3779a	Issue2452.java
100644 blob 8dc274718dc1b3ac937cd0be3e9dde2f57e67e69	Issue2493.java
100644 blob a4bf87bc234858d166657e234e6d291eb97c6655	Issue2494.java
100644 blob 5318f5b3626b17c5e039975f8bd27dc9a62a196b	Issue2505.java
100644 blob 0dc7603e9179040dec4e1e0ed656d9a1e4ef2c46	Issue2613.java
100644 blob 851c8accc9014ceddd68362ae48c6ee1c6114823	Issue2629.java
100644 blob 01b6e306d667562630e7ddf3fcb8f9a28b1127a7	Issue3207.java
100644 blob d0770a207f95127fe036f0d57c3a29e01d2f95f1	Issue3224.java
100644 blob d90bae46b66069441a7a0783ba5c4233a56d289c	Issue58Minimization.java
100644 blob 7c678b0ab861a0b74ee694260e967523d29a1eb3	Issue60.java
100644 blob db77a3f203697b98bb581467e1ba58e7b40f17ba	IteratorVoid.java
100644 blob 1cb54bac9ea53db4239cf5d868173d6652205ee5	Kelloggm225.java
100644 blob 4be1b6b91a46da29e5bcb6593522d6208c0c55cb	Kelloggm228.java
100644 blob 0d2338adf53910b7e1410a4414d3cc4a27ec6322	LBCSubtyping.java
100644 blob 35bb606973209e91ccd30c6f1c1459984155f626	LTLDivide.java
100644 blob 033d66a8ae7179faa0059fc8eee65a23a71a019e	LTLengthOfPostcondition.java
100644 blob 713002091d415d68fa24094aa341201c27694dd0	LengthOfArrayMinusOne.java
100644 blob 4e371616f1d91397c9f305a71173e3e31d0eef71	LengthOfTest.java
100644 blob f8ad5db91ccfdc330290025797adac5aa1e0ae45	LengthTransfer.java
100644 blob 108a83c452fecc08f2fd47fb4a3e9bc16dd1f25c	LengthTransfer2.java
100644 blob e1f62cd96066c6fa788aed734dce2bd787fde1f4	LengthTransferForMinLen.java
100644 blob 1986089e4c0f1b5f37484fd42dc0431196441367	LessThanConstantAddition.java
100644 blob c2f5ff1b98956f39bd42b1e691c5352c28389e73	LessThanCustomCollection.java
100644 blob 17bfebc9d919dd1bd7c2e77885768d06492a5deb	LessThanDec.java
100644 blob 519f8c9de1afcd0e02fa1b91ac1d2c86a03cf0f3	LessThanFloat.java
100644 blob d3d79630d676c7cc7045487051d82bab51ff16b9	LessThanFloatLiteral.java
100644 blob 4cef7eea0417d030c8b1d061fd92307c9b6218e1	LessThanLen.java
100644 blob 7d5d1157dc649b141257403953952ee67eda58cd	LessThanLenBug.java
100644 blob 0d6fefe98c70219e986a41b4137069aeef644516	LessThanOrEqualTransfer.java
100644 blob 80834b894955b2dd152fcac1f950d3b45ee241e6	LessThanTransferTest.java
100644 blob 4882a8cf84f3656ab00b026b28fd00332b86444e	LessThanValue.java
100644 blob ba58d4c2ca8846d5f0d7ac4fcd62ef65d464984b	LessThanZeroArrayLength.java
100644 blob 2fd3250db15517b0088f5319f8a8ce919f4bff0a	ListAdd.java
100644 blob b858491f62ebfd1235514c40323c9095754018c2	ListAddAll.java
100644 blob 36a36bbd96eb5706f0359b7fb85c5d9d92cdafaa	ListAddInfiniteLoop.java
100644 blob 7487ab7fa81405d29411351d6aba65f00175744d	ListGet.java
100644 blob 8e29d028c68ef58d065356b4a29bf4fd8b3865f4	ListIterator.java
100644 blob cec30a8727b5c66f12f2cf84cd2efdab92f425b4	ListLowerBound.java
100644 blob 8561a3316e026c8132e63417f2612d741702c7bd	ListRemove.java
100644 blob 9b4a70c5f1fc07119c1f44600324d58b59e1c91c	ListSet.java
100644 blob 3f807206133db76331dbfaf461dfefad4e88b55e	ListSupport.java
100644 blob 6d60e2ab5fb40ce296e773439556d4a75630da32	ListSupportLBC.java
100644 blob 89f32fbe77b900f046f3209d95aedfe6690064ef	ListSupportML.java
100644 blob 78148df166ab9e291ce40ae22e1c14847f021f5b	LiteralArray.java
100644 blob 3e8866dd2059412fab5e055cb544acbcb00676fc	LiteralString.java
100644 blob 1ce36bbf9707b8c79ff8fb17e9a811e9eab310c9	LongAndIntegerBitsMethods.java
100644 blob 1f83445977c7cf9c72f06b3951748458879f1d72	Loops.java
100644 blob 0cc87b6539854beac8a76ce2a901c397884deb86	LubIndex.java
100644 blob 1f96bcebbbfc1cf1a1cbf0ccf2f9c00abb6d60ef	MLEqualTo.java
100644 blob 5cbf69b29eb37a03b29e105b7ce3ba2c4d818a83	MethodOverrides.java
100644 blob 1794052b2fbd825e953617eb06028f032735bd5c	MinLenFieldInvar.java
100644 blob 6dcb8e17228f7c21d96853e2c40aaa2e3089c377	MinLenFourShenanigans.java
100644 blob 2dc1a095e1c7eb2baef037e0becb8504138edf6b	MinLenFromPositive.java
100644 blob 9cdd5fc3af5cc15e0f92ee51bd2b18759adc558b	MinLenIndexFor.java
100644 blob 5cb6811ca25b5111d8665dc84de9091b71702821	MinLenOneAndLength.java
100644 blob 51ac8a76da0900374a0130126245ffc93d48e3c1	MinLenSameLenInteraction.java
100644 blob fe693778176a68297f16a63ea094642d762a569b	MinMax.java
100644 blob 3e72c51e6872e7188a9a0640547cedd8b21d4fa6	MinMaxIndex.java
100644 blob 313200d3973e9ca293d372d5c512b1e06b6032c9	Modulo.java
100644 blob 7335ce6af514526fbc5b09386a2217c7fa4dce05	NegativeArray.java
100644 blob f21fc10217a34c038907a47fdbb6b973a02f5114	NegativeIndex.java
100644 blob 7c14042cea60b2e5547141a4da67918ca67db3e8	NonNegArrayLength.java
100644 blob 4dcfa45928349b795d663b42e23ec18e3566f9bb	NonNegativeCharValue.java
100644 blob 9b8faca95b1352f21b2e417751154719586edc99	NonnegativeChar.java
100644 blob d311537a5fea572a911099a9694c1f1a2844ff99	NotEnoughOffsets.java
100644 blob cedf58fa80cdc6551f874e42684588ee32b0a2a1	NotEqualTransfer.java
100644 blob ad7f8fc49fcc82eb2fc29bd17f9a2b375569b98e	ObjectClone.java
100644 blob 057736fa047f1f17c7566ce1ebc3aff5a67f8cbb	Offset97.java
100644 blob 8150f5de2134f5bd8c621045118c2c3606ab6641	OffsetAnnotations.java
100644 blob 5adf3724d6102cc1c2e772d933f89146c16dc825	OffsetExample.java
100644 blob c9d01e44f8f9380fa9450bd01a1bd2adf8376df6	OffsetsAndConstants.java
100644 blob de83bb62cbacee48f2d43a47fc39a31f5eca386b	OneLTL.java
100644 blob 7718be27a3870dd2d3b0cec762874b2b024acc32	OneOrTwo.java
100644 blob a7780d2dca2a3d5a7892ca582ed3e7ab4749c210	OnlyCheckSubsequenceWhenAssigningToArray.java
100644 blob ef997895b411dd907052ecca8a52dc559e791bdb	OuterThisJavaExpression.java
100644 blob 1305fd42b805b3bc794296d17420a085c9658a72	ParserOffsetTest.java
100644 blob 153e5595a78c548d8fa90379deb0deb24072554e	ParsingBug.java
100644 blob 04696f17a6597a60dc373ee6093396cb33fc6452	Pilot2HalfLength.java
100644 blob 6494c07e4a26ba88d328dbf8cb4b928e41ed9272	Pilot3ArrayCreation.java
100644 blob 36e85c4674dd00413dc5edac87302ace3251544d	Pilot4Subtraction.java
100644 blob 12fe95a7ad9edc20ded8d318ec330951bf8309d6	PlumeFail.java
100644 blob 5ae51d93dae58a82a9d6240be0cb520140e464c2	PlumeFailMin.java
100644 blob ca9317020be32d6aced9f4a95fb68788d416eb47	PlusPlusBug.java
100644 blob 4db86d61e6bf06d929265a3821afa3429035722c	PolyCrash.java
100644 blob 522058169895594a4c15f68e5d1c0d73a1c778bf	PolyLengthTest.java
100644 blob d462c9a7e1ab25a89299e0d58169f8666de39274	Polymorphic.java
100644 blob ed657cb7174c13b9da4a5379876d3b842a816329	Polymorphic2.java
100644 blob 7ed315a3163fe5ea999abb4121a6c46b79572fbe	Polymorphic3.java
100644 blob f57677bc27e99aaccf22d865871fb26b0b4288ca	Polymorphic4.java
100644 blob ff876162a71d4b760ed791e18d0e42b2563877be	PreAndPostDec.java
100644 blob bc5e152d10bbe1fbf21674c4c6934ea386cd473c	PredecrementTest.java
100644 blob ab066fff05de7c8291670cf04d6d64e7ca7f38df	PrimitiveWrappers.java
100644 blob 14e3aa27476514365a650c4bbefb921066004c81	RandomTest.java
100644 blob bbf1691e772d940d67df0f513d5d6811bceaae02	RandomTestLBC.java
100644 blob ba1740e624986e9a5e82c7d735da2277ebfbd2ea	RangeIndex.java
100644 blob fbec46c6466d3974ad13efa309946cd90edb5310	Reassignment.java
100644 blob 256a9b3fafecfb77cf1d3bcb0b986ce676b75176	RefineEq.java
100644 blob cdb66e95507280f60f2f8780e5b1580cee6e1777	RefineGT.java
100644 blob a03bf893c41eefc78eb23b4bb192cf28dffca789	RefineGTE.java
100644 blob 9b3098d59e709934f2ab9a7d2634ff7c7e037b27	RefineLT.java
100644 blob 14c37ac4b1dab3a38dc04459a2127a6f11b27b86	RefineLTE.java
100644 blob ddef6c67cc31dc11eac3963e1b8c2ba451a61b15	RefineLTE2.java
100644 blob 3a007aa259c27342bdae43335995eaa7271428f3	RefineNeq.java
100644 blob e360e26c2be234932fcf797f3ff9b9f1731536a9	RefineNeqLength.java
100644 blob ded8a7ef890be14d0f6630eb3d9493a9462ddc8d	RefineSubtrahend.java
100644 blob 48fbbb7f70b4794377d0ea95890a2d1052e954bf	RefinementEq.java
100644 blob 967ad440e652b7ee8e27bf827fb0aa7fc7e3a73f	RefinementGT.java
100644 blob 8932b48df55e53b96cfad0157f85981e28e65ae3	RefinementGTE.java
100644 blob b1a5da5afbc17c22fdb7089dd4dd03040c516a82	RefinementLT.java
100644 blob 19c1aea5358fcc5880546359aaa79cd30863fc5b	RefinementLTE.java
100644 blob 0a13772aec6bcdb6c4e4fd8ac9b9db6a7ae1f186	RefinementNEq.java
100644 blob e2ff0e4be7211c2974cba4eea7332d909bf089ba	ReflectArray.java
100644 blob 45078197a72f4a2a1a909fcd089562666c3870f8	RegexMatcher.java
100644 blob 03307ecb5b6e08c6d3516f5bf3f0c651df9b03b5	RepeatLTLengthOf.java
100644 blob cd69679a959330d0fdcb60abc2571299e5231c11	RepeatLTLengthOfWithError.java
100644 blob 71df927600023a03070d204df830fdbd0ea81bf6	Return.java
100644 blob efba98559d58e9dd753ecbeb49515fa8b904f481	SLSubtyping.java
100644 blob 850ed85bb9182c87cd71852473a3671813859f1e	SameLenAssignmentTransfer.java
100644 blob a19dd6d3eec0dc4f52a97ff5cbb2f526469bcb46	SameLenEqualsRefinement.java
100644 blob 46a1012e4cd0b009ac100b17dcdea3ca262ec285	SameLenFormalParameter2.java
100644 blob b90ca09701d432450c33015aa335320665659a49	SameLenLUBStrangeness.java
100644 blob db502c46ff10aad6bb128bac6c45632c330d636b	SameLenManyArrays.java
100644 blob 346143121a0601ce0cc8072f30973678659c5a10	SameLenNewArrayWithSameLength.java
100644 blob bef9d7dd0d926b1b2e303c3f70a6c4a969d4ca60	SameLenOnFormalParameter.java
100644 blob a067e975fd571340f6448dbd1285b8947aa081df	SameLenOnFormalParameterSimple.java
100644 blob 1eb337164d9552e60b10e4686f3ab20649cd7d0c	SameLenSelf.java
100644 blob eef3a5c6ded3a33ae30f8c047b6a3dffe49f7acd	SameLenSimpleCase.java
100644 blob 6bd016a68152af1fe1adf14f7daf857caaddb1e2	SameLenTripleThreat.java
100644 blob 9b1c96b16ceb44617a3445c76cc7b902b6eb2713	SameLenWithObjects.java
100644 blob 9b7d22fd5d3d8a58ce436daccfa7e62695ca830e	SearchIndexTests.java
100644 blob 7cc510931c09d5777d9c3fe60561391ceee6a17f	ShiftRight.java
100644 blob 9b945bcb113b1b8f261107aca8ea7bd55cc8cb25	ShiftRightAverage.java
100644 blob e263534502df7e568a4fd36bc08c7107939ad9fe	SimpleCollection.java
100644 blob 25a90dd1afff6e05ac9b91df15c27ffaee956174	SimpleTransferAdd.java
100644 blob 27b193d83343b1bb99f74b83eb397078c050499a	SimpleTransferSub.java
100644 blob 4459461d718b3d9833a23043785ee404b8901d7b	SizeVsLength.java
100644 blob d083903c9921d9cd05f65370845304178f7d358a	SkipBufferedReader.java
100644 blob 3ce5de8d9e2b198304c1482e0687c70558c84123	SpecialTransfersForEquality.java
100644 blob 38ec5c2392a694fa31d820110d7cb72c87b23698	Split.java
100644 blob f3ad8eb2e80230a1de9c8f802ac0e1f82d042481	StartsEndsWith.java
100644 blob 8c7955716bd48cb0d96c155b0288aa47fc9c07bf	StaticInitializer.java
100644 blob 08a4b522d40bebfd02a22708847b702434b43ef6	Stopwatch.java
100644 blob c2354c9618779a0bfe8a50fb9fa03ea354f842b7	StringBuilderOffset.java
100644 blob abb2d24cd9756948ad00989f600b5904a52f9fae	StringIndexOf.java
100644 blob dd55e36522270740c0509bf3e92e290ab98746d9	StringLenRefinement.java
100644 blob 34f239db2cd79f4304dfffc0b62410b88affb307	StringLength.java
100644 blob 3ab1a04548ee249fa6d41f56add00578c92122b4	StringMethods.java
100644 blob bff578061427299b0f6564a7ede390a7de66329e	StringOffsetTest.java
100644 blob fc854b8881f3c610f5c02a291879b5efda678862	StringSameLen.java
100644 blob 97b697642d4aba2fd561b57752305b1821c8a700	StringTokenizerMinLen.java
100644 blob e9cd23835dea9d9b682e308580603e4916cf7f05	SubtractingNonNegatives.java
100644 blob 9345d7204aeaca697fc7b3ab954476148fa8fcb1	SubtractionIndex.java
100644 blob 6d0ea169444690c76cf414a9289a114b02bdfb77	SwitchDataflowRefinement.java
100644 blob 2dd6ec7392367dd740bd912dce520244510d1471	SwitchTest.java
100644 blob aad4fc0d6e686e6418b305ffbe4b05f2e1e34722	TestAgainstLength.java
100644 blob 7b438c5592c0189d821d5a46ccbcf1f2c7edfbb4	ToArrayIndex.java
100644 blob cd3a8d8c4106eb246c61fcdf8b78c9d7dfa431a2	TransferAdd.java
100644 blob b52ab902ac73458fd299286293930af1ca539822	TransferDivide.java
100644 blob 2144ac4c13badceac513ce0f62c94a910ec21e03	TransferMod.java
100644 blob 216ed893f0ac2a5f1e4c949becf77773105e1a8d	TransferSub.java
100644 blob a368a359d1079e6815b4191c1e6edfba2893e80f	TransferTimes.java
100644 blob e134075123c4a58c8799da5bdfa579cce4062aeb	TypeArrayLengthWithSameLen.java
100644 blob 61dc8a6f84770699a5af64b9327905d165985c5d	UBLiteralFlow.java
100644 blob c16b4f74304d646b8e1fa348a3a86ea71dbc9122	UBPoly.java
100644 blob aad087d0567bb0fed043045438db669e86a6ae5a	UBSubtyping.java
100644 blob 70964935d12290a2c32ea0bb5309c8dc7b277e28	UnaryOperationParsedIncorrectly.java
100644 blob 944d161664ffa93ba0910f113e03e4d62166f84c	UncheckedMinLen.java
100644 blob 302a6ca4ba873a53dd734297c01e20c6674866e2	UpperBoundRefinement.java
100644 blob 2377ca0d5d169a6124810effe74585c755b9f0b6	ValueCheckerProblem.java
100644 blob 5bf8739e85f347d27699504f99558d17a141fac1	VarArgsIncompatible.java
100644 blob 4ea0eb10f7f40b9e7ebd6e1a9a899fe01c15c664	VarLteVar.java
100644 blob c3440ea7936211b3b535e52c271c9d11bce1bd40	ViewpointAdaptTest.java
100644 blob ad6ec89a0bfe9bd3c72621212d8ba0c337987c9f	VoidType.java
100644 blob d89255eb18ab20cc2cb7c0ffb52fe66e12cc567c	ZeroMinLen.java