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

Generated by: LCOV version 1.15