coverage_term_expander.pl

../../prolog/src/coverage_term_expander.pl

Modules

ProB_Preferences_maxx.pl

TestPrefs.pl

absint

alloy2b

ample_sets

any.pl

assert_profiler

ast_cleanup_for_smt

ast_inspector

atelierb_provers_interface

atom.pl

avl_tools

avl_tree.pl

avl_ugraphs

b_abstract_interpreter

b_abstract_interpreter_helpers

b_abstract_mappings

b_arithmetic_expressions.pl

b_ast_cleanup

b_ast_cleanup_rewrite_rules

b_compiler

b_enumerate

b_expression_sharing

b_global_sets

b_interpreter

b_interpreter.pl

b_interpreter_check

b_interpreter_components

b_interpreter_eventb

b_machine_hierarchy

b_normal_form

b_operation_cache

b_read_write_info

b_show_history

b_simplifier

b_slicing

b_state_model_check

b_to_cnf

b_trace_checking

basic_unit_tests

before_after_predicates

benchmark.pl

benchmark_analyser.pl

between.pl

block_checker.pl

bmachine

bmachine_construction

bmachine_eventb

bmachine_static_checks

bmachine_structure

bmc

bool_pred

bool_pred_test.pl

boolean.pl

bsets_clp

bsets_clp.pl

bsyntaxtree

btypechecker

builtin_tools

bvisual

bvisual_any_maxsolver

cbc_ba

cbc_refinement_checks

ce_replay

choice_point_profiler

chr_set_membership

closures

clpfd_interface

clpfd_lists

clpfd_off_interface

clpfd_tables

consistencycheck

constraints

counter

coverage_statistics

coverage_term_expander.pl

coverage_tools

coverage_tools_annotations

csp_basic

csp_sequences

csp_sets

csp_tsets.pl

csp_tuples

ctigar

ctl

custom_explicit_sets

custom_explicit_sets.pl

cvc4interface

data_generator

debug

debugging_calls

debugging_calls_te.pl

delay

dependence

disprover

disprover_test_runner

disprover_test_runner_cli.pl

dot_graph_generator

dot_graphs_static_analysis

eclipse_interface

enable_graph

enabling_analysis

enabling_predicates

error_manager

eval_strings

evalstores

eventhandling

experiment.pl

external_functions

fastload

fastwhen

fastwhen_te.pl

fd_utils_clpfd

fdr_csp_generator

find_whens.pl

fixed_value.pl

float.pl

flow

fuzzer

fuzzer_runner.pl

fuzzfile

fuzzing

gensym

graph_canon

graph_iso_nauty

graphiso

graphiso_test

gui_tcltk.pl

h_int

halt.pl

hashing

haskell_csp

haskell_csp_analyzer

heuristic_grouping.pl

hit_profiler

ic3

inf_arith

infolog_problem_db.pl

input_syntax_tree

inspect.pl

integer.pl

interval

interval_calc

json

junit_tests

kernel_cardinality

kernel_dif

kernel_equality

kernel_freetypes

kernel_frozen_info

kernel_mappings

kernel_mappings.pl

kernel_objects.pl

kernel_ordering

kernel_propagation

kernel_records

kernel_strings

kernel_sym_break_order

kernel_tools

kernel_waitflags

kernel_z

kinduction

kodkod

kodkod2

kodkod_integer_recalc

kodkod_printer

kodkod_process

kodkod_rewrite

kodkod_test

kodkod_tools

kodkod_translate

kodkod_typing

latex_processor

library_setup

list.pl

location_vars_to_program

log_analyser

logger

logging

ltl

ltl2ba

ltl_fairness

ltl_propositions

ltl_safety

ltl_tools

ltl_translate

ltl_verification

ltlc

ltsmin

ltsmin_c_interface

ltsmin_trace

master

maxsolver

mcdc_coverage

member_of.pl

meta_interface

mic_generation

mini_test_pe

model_checker

model_translation

module_information

msg_interop

mutation

mutation.pl

mutation_prob_ast_int_expr.pl

mutation_prob_ast_pred.pl

mutation_prob_ast_seq_expr.pl

mutation_prob_ast_set_expr.pl

myheap

myset

number.pl

parsercall

partition_detection

pathes

pe

performance_messages

pge_algo

plspec

plspec_test

pltables

pltables_export

pltables_export_csv

pltables_export_html

pltables_export_latex

pltables_export_tools

pltables_export_xml

plugins

pofiles

pragmas

predicate_abstraction

predicate_analysis

predicate_debugger

predicate_evaluator

predicate_handling

pref_definitions

preferences

preprofiler

prob2_interface

prob_ast_any.pl

prob_ast_boolean.pl

prob_ast_couple.pl

prob_ast_eval_int_expr.pl

prob_ast_eval_pred.pl

prob_ast_eval_seq_expr.pl

prob_ast_eval_set_expr.pl

prob_ast_expr.pl

prob_ast_identifier.pl

prob_ast_int_expr.pl

prob_ast_integer.pl

prob_ast_minimize_int_expr.pl

prob_ast_minimize_pred.pl

prob_ast_minimize_seq_expr.pl

prob_ast_minimize_set_expr.pl

prob_ast_pred.pl

prob_ast_record.pl

prob_ast_sat.pl

prob_ast_seq.pl

prob_ast_seq_expr.pl

prob_ast_set.pl

prob_ast_set_expr.pl

prob_ast_string.pl

prob_cli.pl

prob_cov.pl

prob_profiling_cli.pl

prob_rule_compiler

prob_socketserver

prob_startup

prob_state_bindlist.pl

prob_state_predicates

prob_tcltk.pl

prob_value_any.pl

prob_value_boolean.pl

prob_value_integer.pl

prob_value_record.pl

prob_value_seq.pl

prob_value_set.pl

prob_value_string.pl

probhash

probsocket_proxy.pl

profiler

profiler_gui

profiler_te

prologTasks

promela_ncprinter

promela_ncprinter

promela_ncprinter

promela_tools

proz

ptest.pl

random_permutations

rational.pl

record_detection

reduce_graph_state_space

refinement_checker

rewrite_rules_db

runtime_profiler

safety_mc

sap

satsolver

schemaexpansion

schemavars

self_check

self_check_off.pl

seq_rewriter

simkeys.pl

smt_common_predicates

smt_solvers_interface

smtlib2_cli

smtlib2_environment

smtlib2_interpreter

smtlib2_parser

smtlib2_parser_tests.pl

smtlib2_translation

snippets.pl

solver_dispatcher

solver_handling

solver_interface

source_profiler

specfile

state_custom_dot_graph

state_packing

state_permuter

state_space

state_space_dijkstra

state_space_exploration_modes

state_space_explorer

state_space_open_nodes

state_space_open_nodes_c

state_space_reduction

state_viewer_images

static_analysis

static_ordering

static_symmetry_reduction

store

store.pl

subexpressions

succeed_max

symmetry_marker

symmetry_reduction

synthesis_tests

synthesis_util

system_call

table_tools

tcltk_interface.pl

tcltk_interface.pl

tcltk_tree_inspector

test

test

test.pl

test2

test_nodestore.pl

test_pe

test_runner

test_typechecker

testaddon

testcases

testdining

testltlc

testsignal.pl

timeout_check.pl

timer

tools

tools_commands

tools_files

tools_io

tools_lists

tools_matching

tools_meta

tools_printing

tools_strings

tools_timeout

translate

translate_keywords

tree.pl

typechecker

typing_tools

unit_parser

units

units_alias

units_conversions

units_domain

units_interpreter

units_interpreter_helpers

units_prettyprint

units_tools

unsat_core_generalization

unsat_cores

user_interrupts

user_signal

value_persistance

variable.pl

version

visualize_graph

weakest_preconditions

whash_send

worker

xml2b

xml_prob

xtl

xtl_interface

xtl_program

z3interface

z_tools

z_typechecker

zenvironment

zlib

zmq

zparameters

ztransformations

Predicates of coverage_term_expander.pl