infer_clone

Commit Graph

Author	SHA1	Message	Date
Radu Grigore	d652e22a0a	[topl] Don't bubble up errors. Summary: If f() calls g() and g() violates a property, there used to be two traces (one for f() and one for g()) even if all that f() has to do with the property is that it calls g(). Now the error is reported only in g(). Reviewed By: jvillard Differential Revision: D25210007 fbshipit-source-id: 68ea57e71	4 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

Radu Grigore

d652e22a0a

[topl] Don't bubble up errors.

Summary:
If f() calls g() and g() violates a property, there used to be two
traces (one for f() and one for g()) even if all that f() has to do with
the property is that it calls g(). Now the error is reported only in
g().

Reviewed By: jvillard

Differential Revision: D25210007

fbshipit-source-id: 68ea57e71

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

2 Commits (df191c4084d414ebdddfc5a25a8f6194b6e9adec)