Infer/bench moerman (!5) · Merge requests · pub / open-source-case-studies · GitLab

Merged Dario Pinto requested to merge infer/bench_moerman into master Jul 28, 2020

Adding infer.mk file to run Infer Analyzer on Moerman's benchmark test suite