infer_clone

Commit Graph

Author	SHA1	Message	Date
Nikos Gorogiannis	86ab2d7d10	[topl] disable skip tests Summary: These tests fail when seemingly unrelated changes are made to infer. In particular, it seems timeout limits have to be increased by 10x or more to make them succeed again. Disabling until we have a more stable replacement. Reviewed By: ezgicicek Differential Revision: D20489647 fbshipit-source-id: 9706b0807	5 years ago
Radu Grigore	bfdb379fe3	[topl] Added a test, for intraprocedural reasoning. Summary: The property SkipAfterRemove already had a test, but not for intra-procedural violations. This adds a test for that case. Reviewed By: ngorogiannis Differential Revision: D19330471 fbshipit-source-id: 1dd1c3ad7	5 years ago
Jules Villard	9199aa4b24	[topl] split tests Summary: add subdirectories so that we can run each java file against its own topl properties Reviewed By: rgrig Differential Revision: D19347302 fbshipit-source-id: 562830774	5 years ago

Author

SHA1

Message

Date

Nikos Gorogiannis

86ab2d7d10

[topl] disable skip tests

Summary: These tests fail when seemingly unrelated changes are made to infer.  In particular, it seems timeout limits have to be increased by 10x or more to make them succeed again.  Disabling until we have a more stable replacement.

Reviewed By: ezgicicek

Differential Revision: D20489647

fbshipit-source-id: 9706b0807

Radu Grigore

bfdb379fe3

[topl] Added a test, for intraprocedural reasoning.

Summary:
The property SkipAfterRemove already had a test, but not for
intra-procedural violations. This adds a test for that case.

Reviewed By: ngorogiannis

Differential Revision: D19330471

fbshipit-source-id: 1dd1c3ad7

Jules Villard

9199aa4b24

[topl] split tests

Summary: add subdirectories so that we can run each java file against its own topl properties

Reviewed By: rgrig

Differential Revision: D19347302

fbshipit-source-id: 562830774

3 Commits (efd8e767cbf0faa2a4172f28a1775bd964939c85)