LCOV - code coverage report

Current view: top level - external/picosat - picosat.c (source / functions) Hit Total Coverage Test: rapport Lines: 1590 3445 46.2 % Date: 2021-12-10 16:22:55 Functions: 127 235 54.0 % Branches: 769 2617 29.4 %

Function Name	Hit count
add_antecedent	16
add_lit	2208
add_resolved	1014
add_simplified_clause	1014
addflt	14065
adecide	813
analyze	0
ascii2flt	1282
assign	4148
assign_decision	1675
assign_forced	2473
assign_phase	4148
assign_reason	4148
assume	829
assume_contexts	1502
assumptions_satisfied	665
avglevel	0
backtrack	0
base2flt	16105
bcp	3079
bcp_queue_is_empty	1022
bytes_clause	352
check_mss_flags_clean	0
check_ready	8445
check_sat_or_unsat_or_unknown_state	32
check_sat_state	1435
check_trace_support_and_execute	0
check_unsat_state	8
clause_is_toplevel_satisfied	176
clause_satisfied	248
cmp_added	892
cmp_glue_activity_size	0
cmp_inverse_jwh_rnk	1971
cmp_inverse_rnk	3350
cmp_ptr	6768
cmp_rnk	5440
cmpflt	2863
collect_clause	0
collect_clauses	630
connect_head_tail	2028
crescore	0
decide	883
decide_phase	70
delete	22290
delete_clause	176
delete_clauses	641
delete_prefix	1282
disconnect_clause	0
drive	0
dumpcls	0
dumpclsnl	0
dumpcnf	0
dumplits	0
dynamic_flips_per_assignment_per_mille	0
end_of_lits	1722
enlarge	630
enter	1314
enumstr	0
extract_all_failed_assumptions	8
faillits	630
fanalyze	8
fix_added_lits	12
fix_assumed_lits	12
fix_clause_lits	12
fix_cls_lits	12
fix_heap_rnks	224
fix_impl_lits	12
fix_trail_lits	12
fixvar	0
flbcp	869
force	0
gcd	0
hashlevel	0
hdown	136
hpop	76
hpush	2794
htop	146
hup	3132
impl2reason	8
import_lit	4041
inc_activity	0
inc_cinc	0
inc_lreduce	0
inc_lrestart	662
inc_max_var	1291
inc_score	0
inc_vinc	0
incincs	0
incjwh	1266
init	641
init_reduce	630
init_restart	662
int2lit	5476
int2unsigned	5476
iteration	0
leave	1314
lit_has_binary_clauses	2044
log2flt	0
lpush	1676
lrelease	2582
luby	662
mark_clause_to_be_collected	0
mark_var	40
mb	0
medium_agility	0
minautarky	0
mss	0
mulflt	13012
need_to_reduce	883
new	6265
new_clause	176
new_prefix	641
next_mss	0
original_clauses_satisfied	665
packflt	22628
pderef	0
picosat_add	3198
picosat_add_ado_lit	0
picosat_add_arg	0
picosat_add_lits	0
picosat_added_original_clauses	0
picosat_adjust	641
picosat_assume	829
picosat_changed	0
picosat_context	0
picosat_copyright	0
picosat_coreclause	0
picosat_corelit	0
picosat_decisions	0
picosat_deref	1435
picosat_deref_partial	0
picosat_deref_toplevel	0
picosat_enable_trace_generation	0
picosat_enter	0
picosat_failed_assumption	0
picosat_failed_assumptions	8
picosat_failed_context	0
picosat_haveados	0
picosat_humus	0
picosat_inc_max_var	0
picosat_inconsistent	0
picosat_init	641
picosat_leave	0
picosat_max_bytes_allocated	0
picosat_maximal_satisfiable_subset_of_assumptions	0
picosat_measure_all_calls	0
picosat_message	0
picosat_minit	0
picosat_mus_assumptions	0
picosat_next_maximal_satisfiable_subset_of_assumptions	0
picosat_next_minimal_correcting_subset_of_assumptions	0
picosat_pop	0
picosat_print	0
picosat_propagations	0
picosat_push	0
picosat_remove_learned	0
picosat_res	0
picosat_reset	641
picosat_reset_phases	673
picosat_reset_scores	673
picosat_sat	673
picosat_save_original_clauses	0
picosat_seconds	0
picosat_set_default_phase_lit	622
picosat_set_global_default_phase	0
picosat_set_incremental_rup_file	0
picosat_set_interrupt	0
picosat_set_less_important_lit	60
picosat_set_more_important_lit	338
picosat_set_output	0
picosat_set_plain	0
picosat_set_prefix	0
picosat_set_propagation_limit	0
picosat_set_seed	0
picosat_set_verbosity	0
picosat_simplify	0
picosat_stats	0
picosat_time_stamp	3896
picosat_usedlit	0
picosat_variables	0
picosat_visits	0
picosat_write_clausal_core	0
picosat_write_compact_trace	0
picosat_write_extended_trace	0
picosat_write_rup_trace	0
pop	0
prop2	4148
propl	4148
push	0
push_mcsass	0
push_var_as_marked	40
rdecide	70
reassume	0
rebias	673
reduce	0
reduce_limit_on_lclauses	883
relem	0
relemdata	0
relemhead	0
report	1292
reset	641
reset_assumptions	32
reset_incremental_usage	32
reset_partial	32
resetcimpl	0
resetimpl	3315
resize	9260
resolve_top_level_unit	0
restart	0
rheader	0
rng	70
rnk2jwh	3942
rrng	70
sat	673
satisfied	4524
sdecide	70
setcimpl	0
setimpl	3307
sflush	2574
should_disconnect_head_tail	584
simplify	630
simplify_and_add_original_clause	1006
sortlits	176
sorttwolits	3307
tderef	0
tpush	4148
trivial_clause	1006
unassign	2857
undo	901
use_var	32
var2reason	40
vrescore	0
write_core_wrapper	0
write_rup_header	0
write_trace	0

Generated by: LCOV version 1.15