4 Commits (master)

Author	SHA1	Message	Date
markma	f8dfc1ce1f	0.0.1	4 years ago
markma	09fba4a0b5	0.0.1	4 years ago
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	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	6 years ago