☰
↑
←
→
🔍
TOC
Run-time Checking, Testing, and Profiling for Ciao
»
Search this manual
Search this manual
Type below to search for where concepts, predicates, modes, properties, types, applications, authors, etc., are defined or referred to in this manual. Use
_
to show all entries in the index.
Symbols
$CIAOROOT/core/lib/rtchecks/rtchecks_rt_propimpl.pl (in rtchecks_tutorial)
A
Alvaro Sevilla San Mateo (unittest author)
(unittest_statistics author)
activate_hooks/0 (profiler_utils predicate)
(in profiler_utils)
activate_trace/0 (profiler_utils predicate)
(in profiler_utils)
aggregates (in unittest)
(in unittest_props)
(in profiler_auto_conf)
apply_dict (in unittest)
arithmetic (in rtchecks_tutorial)
(in unittest)
(in unittest_props)
(in unittestdecls)
(in unittest_statistics)
(in profiler)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
assertions (in rtchecks_tutorial)
(in unittest)
(in unittest_props)
(in unittestdecls)
(in unittest_statistics)
(in profiler)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
assertions/assertions_basic (in rtchecks_tutorial)
(in unittest)
(in unittest_props)
(in unittestdecls)
(in unittest_statistics)
(in profiler)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
assertions/native_props (in rtchecks_tutorial)
assrt_lib (in unittest)
atm/1 (in unittest)
(in unittest)
(in profiler_auto_conf)
atom/1 (in profiler_extra)
atomic_basic (in rtchecks_tutorial)
(in unittest)
(in unittest_props)
(in unittestdecls)
(in unittest_statistics)
(in profiler)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
B
basic_props (in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)
(in unittest)
(in unittest_props)
(in unittestdecls)
(in unittest_statistics)
(in profiler)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
basiccontrol (in rtchecks_tutorial)
(in unittest)
(in unittest_props)
(in unittestdecls)
(in unittest_statistics)
(in profiler)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
basicmodes (in profiler_auto_conf)
bound_random/3 (unittest_props property)
(in unittest_props)
bundle (in unittest)
bundle_paths (in unittest)
byrd (byrd library)
(in traces)
C
c_itf (in unittest)
(in profiler_auto_conf)
cc_auto_conf/4 (profiler_auto_conf predicate)
(in profiler_auto_conf)
cc_auto_conf/5 (profiler_auto_conf predicate)
(in profiler_auto_conf)
cc_auto_conf/6 (profiler_auto_conf predicate)
(in profiler_auto_conf)
cc_auto_conf/7 (profiler_auto_conf predicate)
(in profiler_auto_conf)
cc_auto_conf/8 (profiler_auto_conf predicate)
(in profiler_auto_conf)
cgoal/1 (in profiler_utils)
(in profiler_extra)
(in profiler_extra)
(in profiler_auto_conf)
(in profiler_auto_conf)
(in profiler_auto_conf)
ciaoc_aux (in profiler_auto_conf)
compiler (in profiler_auto_conf)
compose_name/3 (profiler_auto_conf predicate)
(in profiler_auto_conf)
condcomp (in rtchecks_tutorial)
(in unittest)
(in unittest_props)
(in unittestdecls)
(in unittest_statistics)
(in profiler)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
config_common (in unittest)
cost_center/2 (profiler_utils udreexp)
cost_center/4 (profiler_utils udreexp)
cost_center_edge_value/4 (profiler_utils udreexp)
cost_center_global_value/2 (profiler_utils udreexp)
cost_center_nc/4 (profiler_utils udreexp)
cost_center_ncnf/4 (profiler_utils udreexp)
cost_center_nf/4 (profiler_utils udreexp)
cost_center_node_value/3 (profiler_utils udreexp)
cpx_process (in unittest)
D
datafacts (in unittest)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
datafacts_rt (in unittest)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
dcg (in unittest)
deactivate_hooks/0 (profiler_utils predicate)
(in profiler_utils)
deactivate_trace/0 (profiler_utils predicate)
(in profiler_utils)
debugger_support (in rtchecks_tutorial)
(in unittest)
(in unittest_props)
(in unittestdecls)
(in unittest_statistics)
(in profiler)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
define_flag (in unittest)
define_flag/3 (unittest predicate)
(in unittest)
do_profile_reset/0 (profiler_utils udreexp)
dump_node_table_cc/0 (profiler_utils udreexp)
E
Edison Mera (unittest author)
(unittest_props author)
(unittest_examples author)
(profiler author)
engine(foreign_types) (in profiler_auto_conf)
error(a,b) (in unittest)
exception(error(a,b)) (in unittest)
exceptions (in rtchecks_tutorial)
(in unittest)
(in unittest_props)
(in unittestdecls)
(in unittest_statistics)
(in profiler)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
exemaker (in unittest)
exp_float_random/1 (unittest_props property)
(in unittest_props)
exp_float_random_extended/1 (unittest_props property)
(in unittest_props)
exports (in rtchecks_tutorial)
F
F/A (in traces)
Francisco Bueno (traces author)
(byrd author)
flag_values/1 (in unittest)
float_random/1 (unittest_props property)
(in unittest_props)
foo.pl (in rtchecks_tutorial)
(in rtchecks_tutorial)
foo_rtc.pl (in rtchecks_tutorial)
foreign_interface (in profiler_auto_conf)
foreign_interface_properties (in profiler_auto_conf)
format (in unittest_statistics)
(in profiler_auto_conf)
formulae (in unittest)
fsyntax (in unittest)
G
Goal (in traces)
(in byrd)
(in byrd)
generate_from_calls_n/2 (unittest_props property)
(in unittest_props)
get_goal_filename/2 (profiler_auto_conf predicate)
(in profiler_auto_conf)
get_hooks_active/1 (profiler_utils udreexp)
get_option/1 (profiler_extra predicate)
(in profiler_extra)
get_statistical_summary/2 (unittest udreexp)
(unittest_statistics predicate)
(in unittest_statistics)
get_trace_active/1 (profiler_utils udreexp)
(profiler_utils udreexp)
global_module_options (in profiler_auto_conf)
graph_to_tex (in profiler_auto_conf)
H
have_overhead/2 (profiler_utils udreexp)
hiord (in unittest)
(in unittest_props)
(in traces)
hiord_rt (in unittest)
(in unittest_props)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
hiordlib (in unittest)
(in profiler_auto_conf)
hrtime (in profiler_extra)
I
Ignacio Casso (unittest author)
info_item_name(Arg1) (in profiler_auto_conf)
info_item_name(Field) (in profiler_auto_conf)
info_item_name/1 (in profiler_auto_conf)
(in profiler_auto_conf)
initial (in rtchecks_tutorial)
(in unittest)
(in unittest_props)
(in unittestdecls)
(in unittest_statistics)
(in profiler)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
inner (in rtchecks_tutorial)
int/1 (in unittestdecls)
internals (in unittest)
(in traces)
(in byrd)
io_basic (in profiler_utils)
(in profiler_auto_conf)
isomodes (in unittest)
L
list/1 (in rtchecks_tutorial)
(in unittest)
(in unittestdecls)
(in unittest_statistics)
(in profiler_auto_conf)
(in profiler_auto_conf)
(in profiler_auto_conf)
list/2 (in unittest)
(in unittest)
(in unittest)
lists (in unittest)
(in unittest_statistics)
(in profiler_auto_conf)
literal (in rtchecks_tutorial)
llists (in unittest)
(in unittest_statistics)
(in profiler_auto_conf)
load_test_module/1 (unittestdecls declaration)
(in unittestdecls)
load_test_module/2 (unittestdecls declaration)
(in unittestdecls)
load_test_package/1 (unittestdecls declaration)
(in unittestdecls)
long (in rtchecks_tutorial)
lpdoc (in unittest)
M
Manuel Hermenegildo (unittest author)
(unittest_props author)
(unittest_examples author)
measure/2 (profiler_extra predicate)
(in profiler_extra)
measure/3 (profiler_extra predicate)
(in profiler_extra)
measure_0/3 (profiler_extra predicate)
(in profiler_extra)
measure_nf/3 (profiler_extra predicate)
(in profiler_extra)
messages (in unittest)
(in byrd)
messages_basic (in unittest)
(in unittest_statistics)
N
N (in unittest)
Nataliia Stulova (unittest author)
native_props (in unittest)
(in profiler_utils)
(in profiler_auto_conf)
nativeprops (in unittest)
(in profiler_utils)
(in profiler_auto_conf)
near/3 (unittest_props property)
(in unittest_props)
nnegint/1 (in rtchecks_tutorial)
(in profiler_auto_conf)
(in profiler_auto_conf)
no (in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)
nospy/1 (traces predicate)
(byrd predicate)
(in byrd)
not_fails (in unittest)
num/1 (in rtchecks_tutorial)
(in profiler_extra)
(in profiler_extra)
P
Pedro Lopez (unittest author)
(unittest_props author)
(unittest_examples author)
pathname/1 (in unittest)
pathnames (in unittest)
portray/1 (profiler_auto_conf predicate)
(in profiler_auto_conf)
pred1/Arity1 (in profiler)
(in profiler)
predN/ArityN (in profiler)
(in profiler)
predicate (in rtchecks_tutorial)
predicate/n (in unittest)
(in unittest)
prelude (in rtchecks_tutorial)
(in unittest)
(in unittest_props)
(in unittestdecls)
(in unittest_statistics)
(in profiler)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
pretty_print (in profiler_auto_conf)
print_statistical_summary/1 (unittest_statistics predicate)
(in unittest_statistics)
profile/1 (profiler_utils predicate)
(in profiler_utils)
profile_call/1 (profiler_utils predicate)
(in profiler_utils)
profile_dump/0 (profiler_utils udreexp)
profile_info/1 (profiler_utils predicate)
(in profiler_utils)
profile_info_type/1 (in profiler_utils)
profile_reset/0 (profiler_utils predicate)
(in profiler_utils)
profiler (profiler library)
profiler_auto_conf (profiler_auto_conf library)
profiler_base (in profiler_auto_conf)
profiler_cc (in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
profiler_extra (profiler_extra library)
(in profiler_auto_conf)
profiler_rt (in profiler_utils)
profiler_type (in profiler_utils)
(in profiler_auto_conf)
profiler_utils (profiler_utils library)
(in profiler_auto_conf)
profiler_utils_base (in profiler_utils)
profiler_utils_native (in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
(in profiler_utils)
R
random (in unittest_props)
read (in profiler_utils)
record_time/1 (profiler_auto_conf predicate)
(in profiler_auto_conf)
recorded_time/1 (profiler_auto_conf predicate)
(in profiler_auto_conf)
regtypes (in unittest)
(in profiler_auto_conf)
reset/1 (profiler_auto_conf predicate)
(in profiler_auto_conf)
rtchecks (in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)
(in unittest)
rtchecks_asrloc (in rtchecks_tutorial)
rtchecks_cached (in rtchecks_tutorial)
(in rtchecks_tutorial)
rtchecks_callloc (in rtchecks_tutorial)
rtchecks_entry (in rtchecks_tutorial)
rtchecks_exit (in rtchecks_tutorial)
rtchecks_level (in rtchecks_tutorial)
rtchecks_namefmt (in rtchecks_tutorial)
rtchecks_opt (in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)
rtchecks_predloc (in rtchecks_tutorial)
rtchecks_shallow (in rtchecks_tutorial)
rtchecks_tr (in unittest)
rtchecks_trust (in rtchecks_tutorial)
rtchecks_tutorial (rtchecks_tutorial library)
run_tests/3 (unittest predicate)
(in unittest)
run_tests/4 (unittest predicate)
(in unittest)
run_tests_in_dir_rec/3 (unittest predicate)
(in unittest)
run_tests_in_module/1 (unittest predicate)
(in unittest)
run_tests_in_module/2 (unittest predicate)
(in unittest)
run_tests_in_module/3 (unittest predicate)
(in unittest)
run_tests_in_module_check_exp_assrts/1 (unittest predicate)
(in unittest)
run_tests_related_modules/1 (unittest predicate)
(in unittest)
running unit tests (in unittest)
runtime_control (in unittest)
(in profiler_extra)
S
SMH15 (cite)
(in rtchecks_tutorial)
SMH18a (cite)
(in rtchecks_tutorial)
SMH18b (cite)
(in rtchecks_tutorial)
set_hooks_active/1 (profiler_utils udreexp)
set_trace_active/1 (profiler_utils udreexp)
short (in rtchecks_tutorial)
show_test_output/2 (unittest predicate)
(in unittest)
show_test_related_output/2 (unittest predicate)
(in unittest)
show_test_summaries/1 (unittest udreexp)
(in unittest)
show_untested_exp_preds/1 (unittest predicate)
(in unittest)
sideff/2 (in unittest_props)
sort (in unittest)
source_tree (in unittest)
sourcename/1 (in unittest)
(in unittest)
(in unittest)
(in unittest)
(in unittest)
(in unittest)
(in unittestdecls)
(in unittestdecls)
(in unittestdecls)
spy/1 (traces predicate)
(byrd predicate)
(in byrd)
statistical_summary/1 (unittest udreexp)
(unittest udreexp)
(unittest_statistics predicate)
(in unittest_statistics)
statistical_summary/2 (in unittest)
stream_basic (in unittest)
(in unittest_props)
(in unittestdecls)
stream_utils (in unittest)
(in profiler_utils)
(in profiler_auto_conf)
streams (in unittest)
system (in unittest)
(in profiler_utils)
(in profiler_auto_conf)
system_extra (in unittest)
system_info (in unittest)
T
Teresa Trigo (profiler_auto_conf author)
The Ciao Development Team (rtchecks_tutorial author)
(profiler author)
term/1 (in rtchecks_tutorial)
(in profiler_auto_conf)
(in profiler_auto_conf)
(in profiler_auto_conf)
term_basic (in rtchecks_tutorial)
(in unittest)
(in unittest_props)
(in unittestdecls)
(in unittest_statistics)
(in profiler)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
term_compare (in rtchecks_tutorial)
(in unittest)
(in unittest_props)
(in unittestdecls)
(in unittest_statistics)
(in profiler)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
term_typing (in rtchecks_tutorial)
(in rtchecks_tutorial)
(in unittest)
(in unittest_props)
(in unittestdecls)
(in unittest_statistics)
(in profiler)
(in profiler_utils)
(in profiler_extra)
(in profiler_auto_conf)
(in traces)
(in byrd)
termhide (in rtchecks_tutorial)
(in rtchecks_tutorial)
terms (in unittest)
(in profiler_auto_conf)
test assertion (in unittest)
test assertions (in unittest)
test_action/1 (unittest regular type)
(in unittest)
test_command/1 (unittest_props property)
(in unittest_props)
(in unittest_props)
(in unittest_props)
(in unittest_props)
(in unittest_props)
test_filter/2 (unittest predicate)
(in unittest)
test_option/1 (unittest regular type)
(in unittest)
tests (in unittest)
testsuite (in rtchecks_tutorial)
time_option/2 (profiler_extra predicate)
(in profiler_extra)
timeout(N) (in unittest)
timeout/2 (unittest_props property)
(in unittest_props)
times(N) (in unittest)
times/2 (unittest_props property)
(in unittest_props)
total_time/1 (profiler_utils udreexp)
trace/1 (byrd predicate)
(in byrd)
trace/3 (traces predicate)
(in traces)
trace0/1 (byrd predicate)
(in byrd)
traces (traces library)
tree_to_tex/2 (profiler_auto_conf predicate)
(in profiler_auto_conf)
trust/1 (in rtchecks_tutorial)
try_sols(N) (in unittest)
try_sols/2 (unittest_props property)
(in unittest_props)
U
unit tests (in unittest)
unittest (unittest library)
unittest.pl (in unittest)
unittest_base (in unittest)
unittest_db (in unittest)
unittest_default_timeout/1 (unittestdecls declaration)
(in unittestdecls)
unittest_filters (in unittest)
unittest_props (unittest_props library)
unittest_props.pl (in unittest)
unittest_regression (in unittest)
unittest_runner (in unittest)
unittest_statistics (unittest_statistics library)
(in unittest)
(in unittest)
(in unittest)
(in unittest)
unittest_summaries (in unittest)
(in unittest)
unittest_utils (in unittest)
unittestdecls (unittestdecls library)
user_error/2 (unittest_props property)
(in unittest_props)
using_timestamp/1 (profiler_utils udreexp)
V
var/1 (in rtchecks_tutorial)
(in unittest)
W
write (in unittest)
(in profiler_auto_conf)
write_cc_assertions/2 (profiler_auto_conf predicate)
(in profiler_auto_conf)
writing unit tests (in unittest)
Y
yes (in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)
(in rtchecks_tutorial)