Incremental analysis tester
This module contains the functionality to perform test of analysis.This is a low-level interface, for analyzing consistently with ciaopp flags, use the incanal_intermod_bench_driver module.
Usage and interface
- Library usage:
:- use_module(ciaopp_tests(incanal/incanal_intermod_test)). - Exports:
- Predicates:
test/2, all_tests_results_dir/1, gat_test_results_dir/2, fill_pred/2, it_dump_gat_file/3.
- Predicates:
Documentation on exports
PREDICATEtest/2
Usage:test(BenchId,Opts)
Runs a test of analysis. The configuration has is expressed as follows:
- TestId: Identifier of the test, it must be specified in the test_dirs.pl file as the name of the directory in the bench directory that contains the test to be performed.
- TestTopLevel: Main module of the (modular) program.
- EditType: States whether the test is about adding or removing clauses
- TestDir: Directory of the test.
- AbsInt: Abstract domain that will be used for testing
- The following properties should hold globally:
(not_fails/1)All the calls of the form test(BenchId,Opts) do not fail.
(is_det/1)All calls of the form test(BenchId,Opts) are deterministic.
PREDICATEall_tests_results_dir/1
No further documentation available for this predicate.
PREDICATEgat_test_results_dir/2
No further documentation available for this predicate.
PREDICATEfill_pred/2
No further documentation available for this predicate.
PREDICATEit_dump_gat_file/3
Usage:it_dump_gat_file(BenchId,N,DumpF)
Dumps the global answer table, i.e., the registry information in modular analysis of the state N of the sequence of states of test with id BenchId, in file DumpF.
Documentation on imports
This module has the following direct dependencies:- Application modules:
preprocess_flags, analyze_driver, frontend_driver, intermod, p_dump, intermod_punit, intermod_db, raw_printer, analysis_stats. - System library modules:
native_props, datafacts_rt, dynamic_rt, sort, lists, system, pathnames, fastrw, bundle_paths, arithpreds, aggregates, random, process, streams, format, messages, source_tree, terms, ciaoc_aux, operators, hiordlib, naive_reader, edition_sequence_generator, module_writer, config_db, git_wrapper, bundle_scan, dynamic_workspace. - Internal (engine) modules:
term_basic, arithmetic, atomic_basic, basiccontrol, exceptions, term_compare, term_typing, debugger_support, basic_props, hiord_rt, runtime_control, internals. - Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, isomodes, nativeprops, dynamic, datafacts, fsyntax, xsyntax/_xsyntax.