What is¶ ↑
adlint-benchmark is a simple benchmark of AdLint.
News¶ ↑
1.1.0 is released (2012-11-29)¶ ↑
Changes since the 1.0.0 release¶ ↑
-
Eliminate total time output of AdLint
-
Add –count NUM option
1.0.0 is released (2012-11-27)¶ ↑
This is the initial GA release of adlint-benchmark.
Implemented features¶ ↑
-
Benchmark for AdLint’s single module analysis of ‘screen-4.0.3/process.c’
How to Install¶ ↑
Requirements¶ ↑
-
AdLint 2.6.10 or later [mandatory]
Installation¶ ↑
You can install adlint-benchmark by following command.
If AdLint 2.6.10 or later version has not been installed, it will be installed automatically before installing adlint-benchmark.
% gem install adlint-benchmark
or
% sudo gem install adlint-benchmark
Usage¶ ↑
Run benchmark using Ruby’s benchmark library.
% adlint_bm -p user system total real screen-4.0.3/process.c.small 16.190000 0.040000 16.230000 ( 16.376713) 16.600s user, 0.060s system, 00:00:16.66 total
Run benchmark using time(1).
% time adlint_bm adlint_bm 0.54s user 0.04s system 99% cpu 0.584 total
License¶ ↑
Copyright © 2010-2012, OGIS-RI Co.,Ltd.
adlint-postfilter is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
adlint-postfilter is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with adlint-postfilter. If not, see <http://www.gnu.org/licenses/>.
Authors¶ ↑
-
Yutaka Yanoh <yanoh@users.sourceforge.net>