0db83eb5dd
Adding the no progress bar option to the tests
...
Summary: public Buck prints all the output at once and it doesn't look good. So we should not print the progress bar in the tests.
Reviewed By: jvillard
Differential Revision: D2631722
fb-gh-sync-id: 5460a70
9 years ago
0a2571c10a
[infer][java] Infer now reports errors with relative paths on Ant and Gradle projects
...
Summary:
Having the gradle integration reporting errors using relative paths is required to make Infer usable with CI tools
9 years ago
3e199467f4
Complete copyright messages.
9 years ago
df04749cd0
Add module to fix copyright messages.
10 years ago
ef27abcc8f
[infer][tracing] disabling non working tests for ArrayIndexOutOfBoundsException
...
Summary:
Temporarily disabling these tests since they are fragile and are, for some reason, failing as soon as I modify the Java models.
10 years ago
8779b80f8a
[infer][tracing] add an example of inter-procedural array out of bounds error
...
Summary:
In tracing mode, Infer can compute pre-condtions for hitting a array access out of bounds. Adding a small such example in the tests.
10 years ago
b8982270f2
initial synchronization
10 years ago
Dulma Rodriguez
jrm
Cristiano Calcagno
Open Source Synchronization