☰

CiaoPP incremental modular benchmark manager

Author(s): Isabel Garcia-Contreras.

This module is intended to be a Ciao interface for the scripts for running benchmaks of (modular) (incremental) analysis.

Before running any comman, the bench drivers have to be compiled: 

% load this module
?- compile_all. % generate executables
yes

Usage

Running and generating graphs of several benchmarks 

?- run_benchmark(aiakl, add, []).
%
% Benchmark text
yes
?- run_benchmark(aiakl, del, []).
% ...
yes
?- generate_results_summary("aiakl*"). 
% generates a graph with aiakl add and del tests
% This will open in your default pdf viewer the generated graph
yes
?- run_benchmark(qsort, add, []).
% ...
yes
?- generate_results_summary("*-add-"). 
% generates a graph for all the tests of adding sequences
% This will open in your default pdf viewer the generated graph
yes

?- show_performed_tests_directory.
aiakl-add-not_rand-1-shfr-dd
aiakl-del-not_rand-1-shfr-dd
graphs
qsort-add-not_rand-1-shfr-dd
..
.

Usage and interface

Documentation on exports

PREDICATErun_benchmark/3

Usage:run_benchmark(Bench,Edition,Opts)

Runs all configurations of incremental and modular analysis for benchmark Bench and Edition for the edition simulation sequence. Note that if there were previous results of a benchmark with the same configuration, those will be overwritten

PREDICATEcompile_all/0
Compiles all executables to perform tests.

PREDICATEgenerate_results_summary/1

Usage:generate_results_summary(Filter)

It generates:

  • A graph with all the tests that were runned (for example with run_benchmark/3) that meet the filter.

  • The following properties should hold at call time:
    (string/1)Filter is a string (a list of character codes).

PREDICATEshow_performed_tests_directory/0
Shows a list of the tests that were performed by the user.

PREDICATEdirectory_dir/3
No further documentation available for this predicate.

Documentation on imports

This module has the following direct dependencies:
Generated with LPdoc using Ciao