Coverage Report (Unit Tests, generated 11.4.2026 21:15, commit no revision found)
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
590 |
45 |
1 |
7.6 |
271 |
38 |
0 |
14.0 |
| b_operation_cache.pl |
85 |
15 |
2 |
18.1 |
49 |
12 |
0 |
24.5 |
| specfile.pl |
380 |
26 |
1 |
6.9 |
153 |
22 |
0 |
14.4 |
| state_space_dijkstra.pl |
13 |
0 |
0 |
0.0 |
10 |
0 |
0 |
0.0 |
| xtl_interface.pl |
112 |
4 |
0 |
3.6 |
59 |
4 |
0 |
6.8 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
1519 |
455 |
7 |
30.1 |
713 |
256 |
0 |
35.9 |
| b_machine_hierarchy.pl |
267 |
2 |
7 |
0.8 |
138 |
2 |
0 |
1.4 |
| b_operation_guards.pl |
70 |
11 |
0 |
15.7 |
28 |
8 |
0 |
28.6 |
| bmachine.pl |
693 |
313 |
7 |
45.6 |
378 |
200 |
0 |
52.9 |
| bvisual2.pl |
489 |
129 |
0 |
26.4 |
169 |
46 |
0 |
27.2 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
653 |
1 |
5 |
0.2 |
200 |
1 |
0 |
0.5 |
| b2asp.pl |
367 |
1 |
0 |
0.3 |
90 |
1 |
0 |
1.1 |
| bounds_analysis.pl |
197 |
0 |
4 |
0.0 |
62 |
0 |
0 |
0.0 |
| clingo_interface.pl |
89 |
0 |
1 |
0.0 |
48 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
921 |
78 |
15 |
8.6 |
449 |
50 |
0 |
11.1 |
| random_permutations.pl |
9 |
0 |
0 |
0.0 |
7 |
0 |
0 |
0.0 |
| softfloat.pl |
34 |
0 |
0 |
0.0 |
4 |
0 |
0 |
0.0 |
| b_state_model_check.pl |
160 |
0 |
3 |
0.0 |
85 |
0 |
0 |
0.0 |
| cbc_path_solver.pl |
41 |
0 |
2 |
0.0 |
26 |
0 |
0 |
0.0 |
| enabling_analysis.pl |
134 |
1 |
3 |
0.8 |
57 |
1 |
0 |
1.8 |
| disprover.pl |
47 |
0 |
1 |
0.0 |
25 |
0 |
0 |
0.0 |
| disprover_test_runner.pl |
49 |
0 |
0 |
0.0 |
35 |
0 |
0 |
0.0 |
| before_after_predicates.pl |
67 |
0 |
2 |
0.0 |
37 |
0 |
0 |
0.0 |
| optimizing_solver.pl |
26 |
0 |
0 |
0.0 |
13 |
0 |
0 |
0.0 |
| unsat_cores.pl |
120 |
38 |
1 |
31.9 |
63 |
24 |
0 |
38.1 |
| weakest_preconditions.pl |
50 |
0 |
1 |
0.0 |
21 |
0 |
0 |
0.0 |
| solver_interface.pl |
95 |
38 |
2 |
40.9 |
38 |
24 |
0 |
63.2 |
| static_enabling_analysis.pl |
51 |
1 |
0 |
2.0 |
14 |
1 |
0 |
7.1 |
| cbc_refinement_checks.pl |
38 |
0 |
0 |
0.0 |
24 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
817 |
0 |
13 |
0.0 |
435 |
0 |
1 |
0.0 |
| cdclt_pred_to_sat.pl |
63 |
0 |
3 |
0.0 |
25 |
0 |
0 |
0.0 |
| cdclt_preprocessing.pl |
180 |
0 |
1 |
0.0 |
53 |
0 |
0 |
0.0 |
| cdclt_sat_solver.pl |
272 |
0 |
10 |
0.0 |
164 |
0 |
1 |
0.0 |
| cdclt_settings.pl |
25 |
0 |
0 |
0.0 |
25 |
0 |
0 |
0.0 |
| cdclt_solver.pl |
117 |
0 |
2 |
0.0 |
65 |
0 |
0 |
0.0 |
| cdclt_stats.pl |
25 |
0 |
0 |
0.0 |
13 |
0 |
0 |
0.0 |
| smt_solver_benchmarks.pl |
135 |
0 |
0 |
0.0 |
90 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
2218 |
187 |
20 |
8.5 |
960 |
117 |
1 |
12.2 |
| eclipse_interface.pl |
109 |
0 |
0 |
0.0 |
81 |
0 |
0 |
0.0 |
| prob2_interface.pl |
558 |
54 |
9 |
9.8 |
348 |
44 |
1 |
12.7 |
| prob_cli.pl |
1496 |
133 |
11 |
9.0 |
498 |
73 |
0 |
14.7 |
| prob_socketserver.pl |
55 |
0 |
0 |
0.0 |
33 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
84 |
13 |
0 |
15.5 |
54 |
7 |
0 |
13.0 |
| coverage_tools.pl |
84 |
13 |
0 |
15.5 |
54 |
7 |
0 |
13.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
1651 |
692 |
56 |
43.4 |
613 |
330 |
1 |
53.9 |
| csp_basic.pl |
5 |
5 |
0 |
100.0 |
5 |
5 |
0 |
100.0 |
| csp_sequences.pl |
58 |
46 |
3 |
83.6 |
21 |
21 |
0 |
100.0 |
| csp_sets.pl |
268 |
173 |
15 |
68.4 |
99 |
82 |
0 |
82.8 |
| csp_tuples.pl |
97 |
54 |
3 |
57.4 |
37 |
25 |
0 |
67.6 |
| haskell_csp.pl |
726 |
293 |
28 |
42.0 |
245 |
132 |
1 |
54.1 |
| haskell_csp_analyzer.pl |
286 |
110 |
5 |
39.1 |
93 |
56 |
0 |
60.2 |
| refinement_checker.pl |
211 |
11 |
2 |
5.3 |
113 |
9 |
0 |
8.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
937 |
19 |
2 |
2.0 |
480 |
13 |
0 |
2.7 |
| bvisual.pl |
174 |
0 |
0 |
0.0 |
77 |
0 |
0 |
0.0 |
| bvisual_any_maxsolver.pl |
5 |
0 |
0 |
0.0 |
3 |
0 |
0 |
0.0 |
| dot_graph_generator.pl |
102 |
0 |
1 |
0.0 |
51 |
0 |
0 |
0.0 |
| maxsolver.pl |
38 |
0 |
0 |
0.0 |
24 |
0 |
0 |
0.0 |
| reduce_graph_state_space.pl |
151 |
12 |
0 |
7.9 |
99 |
9 |
0 |
9.1 |
| state_as_dot_graph.pl |
56 |
0 |
0 |
0.0 |
22 |
0 |
0 |
0.0 |
| state_custom_dot_graph.pl |
135 |
0 |
1 |
0.0 |
53 |
0 |
0 |
0.0 |
| state_space_reduction.pl |
81 |
0 |
0 |
0.0 |
61 |
0 |
0 |
0.0 |
| uml_generator.pl |
66 |
7 |
0 |
10.6 |
21 |
4 |
0 |
19.0 |
| visualize_graph.pl |
129 |
0 |
0 |
0.0 |
69 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
187 |
0 |
0 |
0.0 |
114 |
0 |
0 |
0.0 |
| ltsmin.pl |
177 |
0 |
1 |
0.0 |
111 |
0 |
0 |
0.0 |
| satsolver.pl |
10 |
0 |
0 |
0.0 |
3 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
41 |
0 |
0 |
0.0 |
25 |
0 |
0 |
0.0 |
| fibonacci_heap.pl |
41 |
0 |
0 |
0.0 |
25 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
2617 |
682 |
13 |
26.2 |
823 |
114 |
0 |
13.9 |
| hit_profiler.pl |
38 |
1 |
0 |
2.6 |
19 |
1 |
0 |
5.3 |
| external_function_declarations.pl |
263 |
244 |
1 |
93.1 |
15 |
12 |
0 |
80.0 |
| external_functions.pl |
1684 |
309 |
12 |
18.5 |
624 |
76 |
0 |
12.2 |
| avl_ugraphs.pl |
6 |
0 |
0 |
0.0 |
6 |
0 |
0 |
0.0 |
| xml2b.pl |
50 |
1 |
0 |
2.0 |
19 |
1 |
0 |
5.3 |
| xml_prob.pl |
576 |
127 |
0 |
22.0 |
140 |
24 |
0 |
17.1 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
5165 |
2339 |
34 |
45.6 |
1118 |
429 |
6 |
38.6 |
| probhash.pl |
14 |
0 |
0 |
0.0 |
10 |
0 |
0 |
0.0 |
| user_signal.pl |
12 |
7 |
0 |
58.3 |
9 |
4 |
0 |
44.4 |
| compile_time_flags.pl |
9 |
0 |
0 |
0.0 |
4 |
0 |
0 |
0.0 |
| debug.pl |
81 |
10 |
0 |
12.3 |
69 |
7 |
0 |
10.1 |
| debugging_calls.pl |
81 |
3 |
0 |
3.7 |
20 |
2 |
0 |
10.0 |
| debugging_calls_te.pl |
34 |
0 |
0 |
0.0 |
6 |
0 |
0 |
0.0 |
| error_manager.pl |
397 |
128 |
8 |
32.9 |
220 |
101 |
6 |
47.2 |
| eventhandling.pl |
26 |
25 |
1 |
100.0 |
9 |
9 |
0 |
100.0 |
| logger.pl |
89 |
17 |
4 |
20.0 |
43 |
14 |
0 |
32.6 |
| module_information.pl |
6 |
2 |
0 |
33.3 |
6 |
2 |
0 |
33.3 |
| pathes.pl |
23 |
20 |
0 |
87.0 |
18 |
17 |
0 |
94.4 |
| preferences.pl |
2175 |
1748 |
0 |
80.4 |
110 |
50 |
0 |
45.5 |
| prob_startup.pl |
1 |
1 |
0 |
100.0 |
1 |
1 |
0 |
100.0 |
| succeed_max.pl |
13 |
1 |
0 |
7.7 |
9 |
1 |
0 |
11.1 |
| tools.pl |
479 |
157 |
17 |
34.0 |
215 |
103 |
0 |
47.9 |
| tools_commands.pl |
48 |
0 |
1 |
0.0 |
23 |
0 |
0 |
0.0 |
| tools_fastread.pl |
118 |
39 |
0 |
33.1 |
39 |
22 |
0 |
56.4 |
| tools_files.pl |
11 |
2 |
0 |
18.2 |
8 |
1 |
0 |
12.5 |
| tools_io.pl |
22 |
0 |
0 |
0.0 |
12 |
0 |
0 |
0.0 |
| tools_json.pl |
30 |
0 |
2 |
0.0 |
16 |
0 |
0 |
0.0 |
| tools_lists.pl |
40 |
10 |
0 |
25.0 |
23 |
6 |
0 |
26.1 |
| tools_matching.pl |
952 |
29 |
1 |
3.0 |
48 |
7 |
0 |
14.6 |
| tools_meta.pl |
28 |
8 |
0 |
28.6 |
19 |
6 |
0 |
31.6 |
| tools_platform.pl |
17 |
16 |
0 |
94.1 |
10 |
9 |
0 |
90.0 |
| tools_portability.pl |
14 |
4 |
0 |
28.6 |
10 |
4 |
0 |
40.0 |
| tools_positions.pl |
47 |
6 |
0 |
12.8 |
8 |
4 |
0 |
50.0 |
| tools_printing.pl |
263 |
47 |
0 |
17.9 |
82 |
21 |
0 |
25.6 |
| tools_strings.pl |
106 |
49 |
0 |
46.2 |
48 |
28 |
0 |
58.3 |
| tools_timeout.pl |
7 |
4 |
0 |
57.1 |
5 |
4 |
0 |
80.0 |
| user_interrupts.pl |
4 |
0 |
0 |
0.0 |
4 |
0 |
0 |
0.0 |
| version.pl |
18 |
6 |
0 |
33.3 |
14 |
6 |
0 |
42.9 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
2443 |
676 |
34 |
28.1 |
1017 |
366 |
0 |
36.0 |
| b_compiler.pl |
294 |
76 |
0 |
25.9 |
83 |
33 |
0 |
39.8 |
| b_enumerate.pl |
125 |
77 |
3 |
63.1 |
55 |
42 |
0 |
76.4 |
| b_interpreter.pl |
740 |
193 |
13 |
26.5 |
356 |
105 |
0 |
29.5 |
| b_interpreter_check.pl |
507 |
189 |
8 |
37.9 |
142 |
91 |
0 |
64.1 |
| b_interpreter_components.pl |
103 |
50 |
0 |
48.5 |
76 |
38 |
0 |
50.0 |
| b_interpreter_eventb.pl |
79 |
0 |
2 |
0.0 |
52 |
0 |
0 |
0.0 |
| store.pl |
223 |
67 |
6 |
30.9 |
84 |
45 |
0 |
53.6 |
| value_persistance.pl |
372 |
24 |
2 |
6.5 |
169 |
12 |
0 |
7.1 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
27 |
0 |
0 |
0.0 |
6 |
0 |
0 |
0.0 |
| json_freetype.pl |
27 |
0 |
0 |
0.0 |
6 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
7281 |
4583 |
117 |
64.0 |
3267 |
2345 |
3 |
71.8 |
| avl_tools.pl |
66 |
56 |
4 |
90.3 |
34 |
34 |
0 |
100.0 |
| b_global_sets.pl |
291 |
106 |
6 |
37.2 |
146 |
79 |
0 |
54.1 |
| bit_sets.pl |
27 |
5 |
0 |
18.5 |
15 |
5 |
0 |
33.3 |
| bool_pred.pl |
28 |
26 |
0 |
92.9 |
20 |
19 |
0 |
95.0 |
| bsets_clp.pl |
799 |
705 |
7 |
89.0 |
407 |
375 |
0 |
92.1 |
| chr_integer_inequality.pl |
460 |
127 |
0 |
27.6 |
257 |
80 |
0 |
31.1 |
| chr_set_membership.pl |
144 |
1 |
0 |
0.7 |
88 |
1 |
0 |
1.1 |
| closures.pl |
128 |
77 |
2 |
61.1 |
68 |
53 |
0 |
77.9 |
| clpfd_interface.pl |
192 |
123 |
3 |
65.1 |
107 |
77 |
0 |
72.0 |
| clpfd_lists.pl |
127 |
78 |
8 |
65.5 |
38 |
33 |
0 |
86.8 |
| clpfd_tables.pl |
49 |
45 |
0 |
91.8 |
25 |
25 |
0 |
100.0 |
| custom_explicit_sets.pl |
1506 |
950 |
37 |
64.7 |
603 |
473 |
0 |
78.4 |
| delay.pl |
30 |
13 |
0 |
43.3 |
20 |
12 |
0 |
60.0 |
| fd_utils_clpfd.pl |
10 |
7 |
0 |
70.0 |
8 |
7 |
0 |
87.5 |
| inf_arith.pl |
56 |
51 |
0 |
91.1 |
21 |
20 |
0 |
95.2 |
| kernel_card_arithmetic.pl |
112 |
100 |
0 |
89.3 |
32 |
30 |
0 |
93.8 |
| kernel_cardinality_attr.pl |
51 |
36 |
0 |
70.6 |
25 |
19 |
0 |
76.0 |
| kernel_dif.pl |
12 |
11 |
0 |
91.7 |
6 |
6 |
0 |
100.0 |
| kernel_equality.pl |
206 |
174 |
5 |
86.6 |
90 |
83 |
0 |
92.2 |
| kernel_frozen_info.pl |
17 |
1 |
0 |
5.9 |
6 |
1 |
0 |
16.7 |
| kernel_lists.pl |
4 |
0 |
1 |
0.0 |
2 |
0 |
0 |
0.0 |
| kernel_mappings.pl |
460 |
306 |
0 |
66.5 |
101 |
66 |
0 |
65.3 |
| kernel_non_empty_attr.pl |
11 |
9 |
0 |
81.8 |
6 |
5 |
0 |
83.3 |
| kernel_objects.pl |
1269 |
999 |
11 |
79.4 |
578 |
507 |
1 |
87.9 |
| kernel_ordering.pl |
41 |
3 |
0 |
7.3 |
15 |
2 |
0 |
13.3 |
| kernel_propagation.pl |
4 |
2 |
0 |
50.0 |
3 |
2 |
0 |
66.7 |
| kernel_reals.pl |
102 |
34 |
0 |
33.3 |
72 |
22 |
0 |
30.6 |
| kernel_records.pl |
34 |
27 |
3 |
87.1 |
20 |
18 |
0 |
90.0 |
| kernel_strings.pl |
220 |
144 |
3 |
66.4 |
113 |
99 |
0 |
87.6 |
| kernel_tools.pl |
328 |
173 |
6 |
53.7 |
60 |
45 |
0 |
75.0 |
| kernel_waitflags.pl |
365 |
187 |
25 |
55.0 |
207 |
141 |
2 |
68.8 |
| memoization.pl |
108 |
7 |
0 |
6.5 |
61 |
6 |
0 |
9.8 |
| static_symmetry_reduction.pl |
24 |
0 |
0 |
0.0 |
13 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
1098 |
12 |
2 |
1.1 |
448 |
9 |
0 |
2.0 |
| interval_calc.pl |
8 |
5 |
0 |
62.5 |
6 |
3 |
0 |
50.0 |
| kodkod.pl |
73 |
0 |
0 |
0.0 |
35 |
0 |
0 |
0.0 |
| kodkod2.pl |
67 |
0 |
0 |
0.0 |
38 |
0 |
0 |
0.0 |
| kodkod_annotator.pl |
31 |
0 |
0 |
0.0 |
8 |
0 |
0 |
0.0 |
| kodkod_integer_recalc.pl |
23 |
4 |
0 |
17.4 |
8 |
4 |
0 |
50.0 |
| kodkod_printer.pl |
121 |
0 |
0 |
0.0 |
43 |
0 |
0 |
0.0 |
| kodkod_process.pl |
69 |
0 |
2 |
0.0 |
45 |
0 |
0 |
0.0 |
| kodkod_rewrite.pl |
28 |
0 |
0 |
0.0 |
11 |
0 |
0 |
0.0 |
| kodkod_test.pl |
50 |
0 |
0 |
0.0 |
39 |
0 |
0 |
0.0 |
| kodkod_tools.pl |
27 |
0 |
0 |
0.0 |
18 |
0 |
0 |
0.0 |
| kodkod_translate.pl |
163 |
0 |
0 |
0.0 |
48 |
0 |
0 |
0.0 |
| kodkod_typing.pl |
83 |
0 |
0 |
0.0 |
25 |
0 |
0 |
0.0 |
| predicate_analysis.pl |
355 |
3 |
0 |
0.8 |
124 |
2 |
0 |
1.6 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
1048 |
161 |
28 |
15.8 |
412 |
48 |
0 |
11.7 |
| ltl2ba.pl |
5 |
0 |
0 |
0.0 |
5 |
0 |
0 |
0.0 |
| ltlc.pl |
93 |
0 |
0 |
0.0 |
31 |
0 |
0 |
0.0 |
| ctl.pl |
82 |
1 |
3 |
1.3 |
36 |
1 |
0 |
2.8 |
| ltl.pl |
130 |
4 |
5 |
3.2 |
73 |
4 |
0 |
5.5 |
| ltl_fairness.pl |
56 |
7 |
3 |
13.2 |
31 |
3 |
0 |
9.7 |
| ltl_propositions.pl |
121 |
12 |
3 |
10.2 |
38 |
8 |
0 |
21.1 |
| ltl_safety.pl |
129 |
47 |
3 |
37.3 |
32 |
6 |
0 |
18.8 |
| ltl_tools.pl |
166 |
28 |
7 |
17.6 |
64 |
9 |
0 |
14.1 |
| ltl_translate.pl |
92 |
36 |
0 |
39.1 |
14 |
7 |
0 |
50.0 |
| ltl_verification.pl |
85 |
26 |
0 |
30.6 |
36 |
10 |
0 |
27.8 |
| safety_mc.pl |
66 |
0 |
4 |
0.0 |
37 |
0 |
0 |
0.0 |
| state_space_explorer.pl |
10 |
0 |
0 |
0.0 |
6 |
0 |
0 |
0.0 |
| trace_generator.pl |
13 |
0 |
0 |
0.0 |
9 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
492 |
1 |
2 |
0.2 |
248 |
1 |
0 |
0.4 |
| b_show_history.pl |
40 |
0 |
1 |
0.0 |
23 |
0 |
0 |
0.0 |
| coverage_statistics.pl |
95 |
0 |
0 |
0.0 |
46 |
0 |
0 |
0.0 |
| mcts_game_play.pl |
94 |
1 |
1 |
1.1 |
49 |
1 |
0 |
2.0 |
| predicate_debugger.pl |
54 |
0 |
0 |
0.0 |
36 |
0 |
0 |
0.0 |
| source_indenter.pl |
114 |
0 |
0 |
0.0 |
42 |
0 |
0 |
0.0 |
| predicate_evaluator.pl |
95 |
0 |
1 |
0.0 |
52 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
340 |
16 |
1 |
4.7 |
182 |
8 |
0 |
4.4 |
| model_checker.pl |
53 |
0 |
0 |
0.0 |
23 |
0 |
0 |
0.0 |
| ample_sets.pl |
79 |
3 |
0 |
3.8 |
61 |
3 |
0 |
4.9 |
| b_simplifier.pl |
90 |
0 |
0 |
0.0 |
24 |
0 |
0 |
0.0 |
| dot_graphs_static_analysis.pl |
13 |
0 |
0 |
0.0 |
10 |
0 |
0 |
0.0 |
| enable_graph.pl |
31 |
13 |
0 |
41.9 |
19 |
5 |
0 |
26.3 |
| enabling_predicates.pl |
31 |
0 |
0 |
0.0 |
16 |
0 |
0 |
0.0 |
| static_analysis.pl |
43 |
0 |
1 |
0.0 |
29 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
3291 |
145 |
15 |
4.4 |
1230 |
65 |
3 |
5.3 |
| fuzztypes.pl |
159 |
0 |
0 |
0.0 |
10 |
0 |
0 |
0.0 |
| welldef.pl |
61 |
0 |
0 |
0.0 |
26 |
0 |
0 |
0.0 |
| bliss_interface.pl |
28 |
0 |
0 |
0.0 |
19 |
0 |
0 |
0.0 |
| counter.pl |
18 |
15 |
0 |
83.3 |
6 |
4 |
0 |
66.7 |
| dll_path.pl |
1 |
1 |
0 |
100.0 |
1 |
1 |
0 |
100.0 |
| ltsmin_c_interface.pl |
14 |
0 |
0 |
0.0 |
3 |
0 |
0 |
0.0 |
| ltsmin_trace.pl |
16 |
0 |
2 |
0.0 |
12 |
0 |
0 |
0.0 |
| msg_interop.pl |
43 |
0 |
0 |
0.0 |
18 |
0 |
0 |
0.0 |
| dtmc_model_checking.pl |
77 |
0 |
1 |
0.0 |
28 |
0 |
0 |
0.0 |
| myheap.pl |
30 |
17 |
0 |
56.7 |
13 |
4 |
0 |
30.8 |
| plspec.pl |
49 |
10 |
0 |
20.4 |
31 |
10 |
0 |
32.3 |
| plspec_core.pl |
14 |
12 |
0 |
85.7 |
6 |
4 |
0 |
66.7 |
| plspec_logger.pl |
18 |
3 |
0 |
16.7 |
8 |
2 |
0 |
25.0 |
| prettyprinter.pl |
31 |
0 |
0 |
0.0 |
9 |
0 |
0 |
0.0 |
| validator.pl |
58 |
4 |
0 |
6.9 |
26 |
1 |
0 |
3.8 |
| regexp.pl |
36 |
0 |
0 |
0.0 |
17 |
0 |
0 |
0.0 |
| b_to_cnf.pl |
149 |
2 |
3 |
1.4 |
61 |
1 |
2 |
1.7 |
| alloy2b.pl |
686 |
0 |
3 |
0.0 |
191 |
0 |
0 |
0.0 |
| b_arithmetic_expressions.pl |
10 |
4 |
0 |
40.0 |
4 |
3 |
0 |
75.0 |
| ast_to_difference_logic.pl |
64 |
0 |
0 |
0.0 |
14 |
0 |
0 |
0.0 |
| difference_logic_solver.pl |
120 |
0 |
0 |
0.0 |
53 |
0 |
0 |
0.0 |
| sat_symmetry_breaking.pl |
50 |
0 |
0 |
0.0 |
25 |
0 |
0 |
0.0 |
| smt_symmetry_breaking.pl |
146 |
0 |
0 |
0.0 |
58 |
0 |
0 |
0.0 |
| code2vec.pl |
28 |
0 |
0 |
0.0 |
14 |
0 |
0 |
0.0 |
| coverage_tools_annotations.pl |
1 |
1 |
0 |
100.0 |
1 |
1 |
1 |
0.0 |
| eval_let_store.pl |
22 |
3 |
0 |
13.6 |
10 |
3 |
0 |
30.0 |
| external_functions_reals.pl |
86 |
0 |
0 |
0.0 |
86 |
0 |
0 |
0.0 |
| external_functions_svg.pl |
40 |
0 |
0 |
0.0 |
26 |
0 |
0 |
0.0 |
| json_parser.pl |
177 |
17 |
0 |
9.6 |
80 |
6 |
0 |
7.5 |
| simb_parser.pl |
53 |
1 |
0 |
1.9 |
35 |
1 |
0 |
2.9 |
| simb_simulator.pl |
118 |
2 |
6 |
1.8 |
64 |
2 |
0 |
3.1 |
| pathes_extensions_db.pl |
287 |
24 |
0 |
8.4 |
12 |
2 |
0 |
16.7 |
| set_rewriter.pl |
71 |
0 |
0 |
0.0 |
28 |
0 |
0 |
0.0 |
| ground_truth.pl |
100 |
0 |
0 |
0.0 |
30 |
0 |
0 |
0.0 |
| predicate_data_generator.pl |
69 |
0 |
0 |
0.0 |
28 |
0 |
0 |
0.0 |
| logging.pl |
41 |
0 |
0 |
0.0 |
9 |
0 |
0 |
0.0 |
| synthesis_util.pl |
280 |
0 |
0 |
0.0 |
139 |
0 |
0 |
0.0 |
| test_typechecker.pl |
25 |
24 |
0 |
96.0 |
16 |
15 |
0 |
93.8 |
| prob_cov_runner.pl |
2 |
1 |
0 |
50.0 |
2 |
1 |
0 |
50.0 |
| alloy2b_benchmarks.pl |
8 |
0 |
0 |
0.0 |
6 |
0 |
0 |
0.0 |
| test_paths.pl |
5 |
4 |
0 |
80.0 |
5 |
4 |
0 |
80.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
178 |
21 |
0 |
11.8 |
99 |
12 |
0 |
12.1 |
| table_tools.pl |
94 |
17 |
2 |
18.5 |
39 |
9 |
0 |
23.1 |
| pltables.pl |
4 |
2 |
0 |
50.0 |
4 |
2 |
0 |
50.0 |
| pltables_export.pl |
20 |
0 |
0 |
0.0 |
16 |
0 |
0 |
0.0 |
| pltables_export_csv.pl |
13 |
0 |
0 |
0.0 |
10 |
0 |
0 |
0.0 |
| pltables_export_html.pl |
11 |
0 |
0 |
0.0 |
8 |
0 |
0 |
0.0 |
| pltables_export_latex.pl |
21 |
0 |
0 |
0.0 |
11 |
0 |
0 |
0.0 |
| pltables_export_tools.pl |
2 |
2 |
0 |
100.0 |
1 |
1 |
0 |
100.0 |
| pltables_export_xml.pl |
13 |
0 |
0 |
0.0 |
10 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
134 |
17 |
0 |
12.7 |
70 |
11 |
0 |
15.7 |
| performance_messages.pl |
31 |
11 |
0 |
35.5 |
17 |
6 |
0 |
35.3 |
| runtime_profiler.pl |
92 |
5 |
0 |
5.4 |
44 |
4 |
0 |
9.1 |
| source_profiler.pl |
11 |
1 |
0 |
9.1 |
9 |
1 |
0 |
11.1 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
1366 |
66 |
0 |
4.8 |
474 |
40 |
0 |
8.4 |
| kernel_freetypes.pl |
79 |
42 |
2 |
54.5 |
47 |
25 |
0 |
53.2 |
| kernel_z.pl |
19 |
18 |
0 |
94.7 |
13 |
13 |
0 |
100.0 |
| consistencycheck.pl |
125 |
0 |
0 |
0.0 |
16 |
0 |
0 |
0.0 |
| dependence.pl |
31 |
0 |
0 |
0.0 |
6 |
0 |
0 |
0.0 |
| fuzzfile.pl |
45 |
6 |
0 |
13.3 |
25 |
2 |
0 |
8.0 |
| proz.pl |
293 |
0 |
0 |
0.0 |
113 |
0 |
0 |
0.0 |
| schemaexpansion.pl |
92 |
0 |
0 |
0.0 |
40 |
0 |
0 |
0.0 |
| schemavars.pl |
23 |
0 |
0 |
0.0 |
6 |
0 |
0 |
0.0 |
| subexpressions.pl |
186 |
0 |
0 |
0.0 |
48 |
0 |
0 |
0.0 |
| z_tools.pl |
33 |
0 |
0 |
0.0 |
21 |
0 |
0 |
0.0 |
| z_typechecker.pl |
264 |
0 |
0 |
0.0 |
64 |
0 |
0 |
0.0 |
| zenvironment.pl |
11 |
0 |
0 |
0.0 |
7 |
0 |
0 |
0.0 |
| zparameters.pl |
9 |
0 |
0 |
0.0 |
3 |
0 |
0 |
0.0 |
| ztransformations.pl |
156 |
0 |
0 |
0.0 |
65 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
564 |
112 |
3 |
20.0 |
216 |
43 |
0 |
19.9 |
| eval_interface.pl |
8 |
0 |
0 |
0.0 |
5 |
0 |
0 |
0.0 |
| eval_strings.pl |
556 |
112 |
3 |
20.3 |
211 |
43 |
0 |
20.4 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
56 |
1 |
0 |
1.8 |
46 |
1 |
0 |
2.2 |
| rule_validation.pl |
56 |
1 |
0 |
1.8 |
46 |
1 |
0 |
2.2 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
67 |
0 |
0 |
0.0 |
35 |
0 |
0 |
0.0 |
| b2sat.pl |
67 |
0 |
4 |
0.0 |
35 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
1691 |
841 |
2 |
49.8 |
391 |
228 |
0 |
58.3 |
| prover_interface.pl |
11 |
0 |
0 |
0.0 |
5 |
0 |
0 |
0.0 |
| prover_utils.pl |
275 |
198 |
0 |
72.0 |
106 |
90 |
0 |
84.9 |
| sequent_auto_prover.pl |
28 |
0 |
0 |
0.0 |
10 |
0 |
0 |
0.0 |
| sequent_prover.pl |
331 |
100 |
1 |
30.3 |
93 |
47 |
0 |
50.5 |
| sequent_prover_exports.pl |
323 |
1 |
1 |
0.3 |
70 |
1 |
0 |
1.4 |
| simplification_rules.pl |
709 |
528 |
0 |
74.5 |
93 |
76 |
0 |
81.7 |
| test_sequent_prover.pl |
14 |
14 |
0 |
100.0 |
14 |
14 |
0 |
100.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
261 |
0 |
0 |
0.0 |
68 |
0 |
0 |
0.0 |
| b2setlog.pl |
261 |
0 |
0 |
0.0 |
68 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
1040 |
2 |
22 |
0.2 |
341 |
2 |
0 |
0.6 |
| cvc4interface.pl |
44 |
0 |
0 |
0.0 |
19 |
0 |
0 |
0.0 |
| z3interface.pl |
64 |
0 |
0 |
0.0 |
6 |
0 |
0 |
0.0 |
| atelierb_provers_interface.pl |
22 |
0 |
0 |
0.0 |
16 |
0 |
0 |
0.0 |
| ast_cleanup_for_smt.pl |
125 |
0 |
0 |
0.0 |
36 |
0 |
0 |
0.0 |
| ast_optimizer_for_smt.pl |
105 |
0 |
2 |
0.0 |
31 |
0 |
0 |
0.0 |
| model_translation.pl |
223 |
0 |
5 |
0.0 |
77 |
0 |
0 |
0.0 |
| prob_state_predicates.pl |
19 |
0 |
0 |
0.0 |
5 |
0 |
0 |
0.0 |
| quantifier_instantiation.pl |
66 |
0 |
2 |
0.0 |
32 |
0 |
0 |
0.0 |
| seq_rewriter.pl |
39 |
0 |
0 |
0.0 |
13 |
0 |
0 |
0.0 |
| smt_common_predicates.pl |
1 |
0 |
0 |
0.0 |
1 |
0 |
0 |
0.0 |
| smt_solvers_interface.pl |
317 |
2 |
13 |
0.7 |
98 |
2 |
0 |
2.0 |
| solver_dispatcher.pl |
15 |
0 |
0 |
0.0 |
7 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
309 |
0 |
0 |
0.0 |
107 |
0 |
0 |
0.0 |
| smtlib2_cli.pl |
8 |
0 |
0 |
0.0 |
6 |
0 |
0 |
0.0 |
| smtlib2_environment.pl |
19 |
0 |
0 |
0.0 |
14 |
0 |
0 |
0.0 |
| smtlib2_interpreter.pl |
55 |
0 |
0 |
0.0 |
17 |
0 |
0 |
0.0 |
| smtlib2_parser.pl |
118 |
0 |
0 |
0.0 |
45 |
0 |
0 |
0.0 |
| smtlib2_translation.pl |
109 |
0 |
0 |
0.0 |
25 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
522 |
57 |
9 |
11.1 |
295 |
48 |
0 |
16.3 |
| hashing.pl |
6 |
6 |
0 |
100.0 |
6 |
6 |
0 |
100.0 |
| state_packing.pl |
180 |
21 |
6 |
12.1 |
68 |
15 |
0 |
22.1 |
| state_space.pl |
229 |
24 |
0 |
10.5 |
164 |
21 |
0 |
12.8 |
| state_space_exploration_modes.pl |
76 |
4 |
0 |
5.3 |
35 |
4 |
0 |
11.4 |
| state_space_open_nodes_c.pl |
31 |
2 |
3 |
7.1 |
22 |
2 |
0 |
9.1 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
288 |
0 |
1 |
0.0 |
182 |
0 |
0 |
0.0 |
| bmc.pl |
23 |
0 |
0 |
0.0 |
14 |
0 |
0 |
0.0 |
| ce_replay.pl |
5 |
0 |
0 |
0.0 |
3 |
0 |
0 |
0.0 |
| ctigar.pl |
52 |
0 |
0 |
0.0 |
34 |
0 |
0 |
0.0 |
| ic3.pl |
55 |
0 |
1 |
0.0 |
36 |
0 |
0 |
0.0 |
| kinduction.pl |
32 |
0 |
0 |
0.0 |
19 |
0 |
0 |
0.0 |
| mic_generation.pl |
20 |
0 |
0 |
0.0 |
10 |
0 |
0 |
0.0 |
| predicate_abstraction.pl |
15 |
0 |
0 |
0.0 |
8 |
0 |
0 |
0.0 |
| predicate_handling.pl |
57 |
0 |
0 |
0.0 |
39 |
0 |
0 |
0.0 |
| solver_handling.pl |
26 |
0 |
0 |
0.0 |
17 |
0 |
0 |
0.0 |
| unsat_core_generalization.pl |
3 |
0 |
0 |
0.0 |
2 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
240 |
40 |
1 |
16.7 |
91 |
25 |
0 |
27.5 |
| graphiso.pl |
10 |
0 |
0 |
0.0 |
4 |
0 |
0 |
0.0 |
| state_graph_canon.pl |
38 |
0 |
0 |
0.0 |
18 |
0 |
0 |
0.0 |
| graph_iso_nauty.pl |
49 |
2 |
0 |
4.1 |
25 |
2 |
0 |
8.0 |
| state_permuter.pl |
32 |
12 |
0 |
37.5 |
10 |
7 |
0 |
70.0 |
| symmetry_marker.pl |
111 |
26 |
1 |
23.6 |
34 |
16 |
0 |
47.1 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
854 |
0 |
0 |
0.0 |
282 |
0 |
0 |
0.0 |
| b_synthesis.pl |
118 |
0 |
0 |
0.0 |
59 |
0 |
0 |
0.0 |
| constraints.pl |
239 |
0 |
0 |
0.0 |
100 |
0 |
0 |
0.0 |
| b_machine_identifier_normalization.pl |
257 |
0 |
0 |
0.0 |
38 |
0 |
0 |
0.0 |
| operation_data_generator.pl |
42 |
0 |
0 |
0.0 |
22 |
0 |
0 |
0.0 |
| library_setup.pl |
130 |
0 |
0 |
0.0 |
31 |
0 |
0 |
0.0 |
| location_vars_to_program.pl |
27 |
0 |
0 |
0.0 |
9 |
0 |
0 |
0.0 |
| symmetry_reduction.pl |
41 |
0 |
0 |
0.0 |
23 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
658 |
3 |
0 |
0.5 |
428 |
2 |
1 |
0.5 |
| tcltk_interface.pl |
658 |
3 |
5 |
0.5 |
428 |
2 |
1 |
0.5 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
379 |
1 |
2 |
0.3 |
235 |
1 |
0 |
0.4 |
| sap.pl |
308 |
1 |
4 |
0.3 |
208 |
1 |
0 |
0.5 |
| mcdc_coverage.pl |
71 |
0 |
2 |
0.0 |
27 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
3962 |
2868 |
4 |
72.5 |
538 |
109 |
0 |
20.3 |
| b_intelligent_trace_replay.pl |
247 |
4 |
2 |
1.6 |
136 |
3 |
0 |
2.2 |
| b_trace_checking.pl |
185 |
0 |
2 |
0.0 |
89 |
0 |
0 |
0.0 |
| junit_tests.pl |
29 |
21 |
2 |
77.8 |
17 |
16 |
0 |
94.1 |
| self_check.pl |
104 |
41 |
0 |
39.4 |
80 |
35 |
0 |
43.8 |
| typechecker.pl |
124 |
65 |
0 |
52.4 |
26 |
11 |
0 |
42.3 |
| test_runner.pl |
411 |
66 |
0 |
16.1 |
178 |
37 |
0 |
20.8 |
| testcases.pl |
2862 |
2671 |
0 |
93.3 |
12 |
7 |
0 |
58.3 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
2688 |
589 |
22 |
22.1 |
728 |
195 |
0 |
26.8 |
| gensym.pl |
10 |
8 |
0 |
80.0 |
8 |
6 |
0 |
75.0 |
| pref_definitions.pl |
63 |
3 |
1 |
4.8 |
18 |
2 |
0 |
11.1 |
| static_ordering.pl |
15 |
0 |
1 |
0.0 |
8 |
0 |
0 |
0.0 |
| system_call.pl |
18 |
2 |
1 |
11.8 |
17 |
2 |
0 |
11.8 |
| translate.pl |
2441 |
575 |
19 |
23.7 |
672 |
184 |
0 |
27.4 |
| translate_keywords.pl |
141 |
1 |
0 |
0.7 |
5 |
1 |
0 |
20.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
6227 |
2140 |
90 |
34.9 |
2468 |
1133 |
0 |
45.9 |
| b_ast_cleanup.pl |
1044 |
436 |
5 |
42.0 |
315 |
150 |
0 |
47.6 |
| b_enumeration_order_analysis.pl |
65 |
26 |
1 |
40.6 |
20 |
16 |
0 |
80.0 |
| b_read_write_info.pl |
206 |
55 |
2 |
27.0 |
99 |
38 |
0 |
38.4 |
| bmachine_construction.pl |
647 |
447 |
14 |
70.6 |
363 |
289 |
0 |
79.6 |
| bmachine_eventb.pl |
632 |
4 |
4 |
0.6 |
320 |
3 |
0 |
0.9 |
| bmachine_static_checks.pl |
169 |
33 |
0 |
19.5 |
66 |
24 |
0 |
36.4 |
| bmachine_structure.pl |
36 |
26 |
4 |
81.3 |
22 |
19 |
0 |
86.4 |
| bsyntaxtree.pl |
1274 |
482 |
39 |
39.0 |
445 |
250 |
0 |
56.2 |
| bsyntaxtree_quantifiers.pl |
9 |
0 |
0 |
0.0 |
8 |
0 |
0 |
0.0 |
| btypechecker.pl |
856 |
319 |
7 |
37.6 |
288 |
152 |
0 |
52.8 |
| b_expression_sharing.pl |
346 |
57 |
7 |
16.8 |
126 |
37 |
0 |
29.4 |
| input_syntax_tree.pl |
222 |
38 |
1 |
17.2 |
44 |
18 |
0 |
40.9 |
| parsercall.pl |
355 |
172 |
9 |
49.7 |
195 |
111 |
0 |
56.9 |
| partition_detection.pl |
28 |
8 |
0 |
28.6 |
17 |
6 |
0 |
35.3 |
| pathes_lib.pl |
34 |
5 |
0 |
14.7 |
20 |
4 |
0 |
20.0 |
| pragmas.pl |
10 |
1 |
0 |
10.0 |
5 |
1 |
0 |
20.0 |
| record_detection.pl |
105 |
5 |
1 |
4.8 |
72 |
4 |
0 |
5.6 |
| b_ast_cleanup_rewrite_rules.pl |
29 |
3 |
0 |
10.3 |
13 |
3 |
0 |
23.1 |
| rewrite_rules_db.pl |
27 |
0 |
0 |
0.0 |
2 |
0 |
0 |
0.0 |
| typing_tools.pl |
133 |
23 |
1 |
17.4 |
28 |
8 |
0 |
28.6 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
1482 |
33 |
5 |
2.2 |
523 |
9 |
0 |
1.7 |
| graphical_state_viewer_images.pl |
156 |
0 |
0 |
0.0 |
88 |
0 |
0 |
0.0 |
| latex_processor.pl |
111 |
0 |
0 |
0.0 |
49 |
0 |
0 |
0.0 |
| meta_interface.pl |
511 |
0 |
3 |
0.0 |
49 |
0 |
0 |
0.0 |
| visb_visualiser.pl |
704 |
33 |
2 |
4.7 |
337 |
9 |
0 |
2.7 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
2009 |
18 |
15 |
0.9 |
407 |
7 |
0 |
1.7 |
| well_def_analyser.pl |
355 |
2 |
4 |
0.6 |
95 |
2 |
0 |
2.1 |
| well_def_hyps.pl |
302 |
16 |
14 |
5.6 |
92 |
5 |
0 |
5.4 |
| well_def_prover.pl |
1186 |
0 |
1 |
0.0 |
209 |
0 |
0 |
0.0 |
| well_def_tools.pl |
166 |
0 |
0 |
0.0 |
11 |
0 |
0 |
0.0 |
module
clauses
covered
uncoverable
%
preds
covered
uncoverable
%
| summary |
96 |
0 |
1 |
0.0 |
55 |
0 |
0 |
0.0 |
| master.pl |
4 |
0 |
0 |
0.0 |
3 |
0 |
0 |
0.0 |
| worker.pl |
29 |
0 |
0 |
0.0 |
20 |
0 |
0 |
0.0 |
| zmq.pl |
16 |
0 |
0 |
0.0 |
4 |
0 |
0 |
0.0 |
| zmq_rpc.pl |
47 |
0 |
1 |
0.0 |
28 |
0 |
0 |
0.0 |