pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
infer_clone/infer/tests/codetoanalyze/java/threadsafety/.inferconfig

11 lines
251 B
Raw Normal View History Unescape

[thread-safety] enable defining aliases of @ThreadSafe in .inferconfig Reviewed By: peterogithub Differential Revision: D4662764 fbshipit-source-id: c202509
8 years ago
{
[config] add option to force deletion of results dir Summary: Since D5381239, infer is careful not to delete directories that do not "look like" results directories on startup, in case the user passed, eg, `-o /`. In our repo, lots of results dir are created by build/test of infer, and when the version of infer changes and the expected contents of results directories change then it might start refusing to delete the results directories created with another version of infer. Add an option to force infer to delete the results directory no matter how dodgy it looks, and use it in our repo by adding the option in every .inferconfig. Reviewed By: mbouaziz Differential Revision: D5870984 fbshipit-source-id: 09412de
8 years ago
"force-delete-results-dir": true,
[thread-safety] treat non-interface methods with no summary as angelic Reviewed By: jeremydubreil Differential Revision: D4758609 fbshipit-source-id: fa56bd5
8 years ago
"threadsafe-aliases": ["MyThreadSafeAlias1", "codetoanalyze.java.checkers.MyThreadSafeAlias2"],
"skip-translation": [
{
"language": "Java",
"source_contains": "_SHOULD_BE_SKIPPED_"
}
]
[thread-safety] enable defining aliases of @ThreadSafe in .inferconfig Reviewed By: peterogithub Differential Revision: D4662764 fbshipit-source-id: c202509
8 years ago
}