mole-report/pkg-mona-coRW1

All instances of coRW1 in mona

Cycle	Objects	Source locations	Source events
PosRW Rfi	dfa_in_mem	dfa.c:66	R:dfa_in_mem (dfa.c:66 function dfaFree thread 0) W:dfa_in_mem (dfa.c:66 function dfaFree thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:66	R:dfa_in_mem (dfa.c:66 function dfaFree thread 0) W:dfa_in_mem (dfa.c:66 function dfaFree thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:66	R:dfa_in_mem (dfa.c:66 function dfaFree thread 0) W:dfa_in_mem (dfa.c:66 function dfaFree thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:54	R:dfa_in_mem (dfa.c:54 function dfaMakeNoBddm thread 0) W:dfa_in_mem (dfa.c:54 function dfaMakeNoBddm thread 0)
PosRW Rfi	max_dfa_in_mem	dfa.c:56 dfa.c:55	R:max_dfa_in_mem (dfa.c:55 function dfaMakeNoBddm thread 0) W:max_dfa_in_mem (dfa.c:56 function dfaMakeNoBddm thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:54	R:dfa_in_mem (dfa.c:54 function dfaMakeNoBddm thread 0) W:dfa_in_mem (dfa.c:54 function dfaMakeNoBddm thread 0)
PosRW Rfi	max_dfa_in_mem	dfa.c:56 dfa.c:55	R:max_dfa_in_mem (dfa.c:55 function dfaMakeNoBddm thread 0) W:max_dfa_in_mem (dfa.c:56 function dfaMakeNoBddm thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:54	R:dfa_in_mem (dfa.c:54 function dfaMakeNoBddm thread 0) W:dfa_in_mem (dfa.c:54 function dfaMakeNoBddm thread 0)
PosRW Rfi	max_dfa_in_mem	dfa.c:56 dfa.c:55	R:max_dfa_in_mem (dfa.c:55 function dfaMakeNoBddm thread 0) W:max_dfa_in_mem (dfa.c:56 function dfaMakeNoBddm thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:39	R:dfa_in_mem (dfa.c:39 function dfaMake thread 0) W:dfa_in_mem (dfa.c:39 function dfaMake thread 0)
PosRW Rfi	max_dfa_in_mem	dfa.c:40 dfa.c:41	R:max_dfa_in_mem (dfa.c:40 function dfaMake thread 0) W:max_dfa_in_mem (dfa.c:41 function dfaMake thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:39	R:dfa_in_mem (dfa.c:39 function dfaMake thread 0) W:dfa_in_mem (dfa.c:39 function dfaMake thread 0)
PosRW Rfi	max_dfa_in_mem	dfa.c:40 dfa.c:41	R:max_dfa_in_mem (dfa.c:40 function dfaMake thread 0) W:max_dfa_in_mem (dfa.c:41 function dfaMake thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:39	R:dfa_in_mem (dfa.c:39 function dfaMake thread 0) W:dfa_in_mem (dfa.c:39 function dfaMake thread 0)
PosRW Rfi	max_dfa_in_mem	dfa.c:40 dfa.c:41	R:max_dfa_in_mem (dfa.c:40 function dfaMake thread 0) W:max_dfa_in_mem (dfa.c:41 function dfaMake thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:154	R:stat_record (BDD/bdd_manager.c:154 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:154	R:stat_record (BDD/bdd_manager.c:154 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:154	R:stat_record (BDD/bdd_manager.c:154 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
DpDatasW Rfi	all_trees	analyze.c:50 analyze.c:49	R:all_trees (analyze.c:49 function make_tree_leaf thread 0) W:all_trees (analyze.c:50 function make_tree_leaf thread 0)
DpDatasW Rfi	all_trees	analyze.c:67 analyze.c:68	R:all_trees (analyze.c:67 function make_tree_internal thread 0) W:all_trees (analyze.c:68 function make_tree_internal thread 0)
PosRW Rfi	all_trees	analyze.c:532 analyze.c:529	R:all_trees (analyze.c:529 function gtaFreeTrees thread 0) W:all_trees (analyze.c:532 function gtaFreeTrees thread 0)
PosRW Rfi	all_trees	analyze.c:529 analyze.c:534	R:all_trees (analyze.c:529 function gtaFreeTrees thread 0) W:all_trees (analyze.c:534 function gtaFreeTrees thread 0)
PosRW Rfi	all_trees	analyze.c:532 analyze.c:529	R:all_trees (analyze.c:529 function gtaFreeTrees thread 0) W:all_trees (analyze.c:532 function gtaFreeTrees thread 0)
PosRW Rfi	all_trees	analyze.c:529 analyze.c:534	R:all_trees (analyze.c:529 function gtaFreeTrees thread 0) W:all_trees (analyze.c:534 function gtaFreeTrees thread 0)
PosRW Rfi	all_trees	analyze.c:532 analyze.c:529	R:all_trees (analyze.c:529 function gtaFreeTrees thread 0) W:all_trees (analyze.c:532 function gtaFreeTrees thread 0)
PosRW Rfi	all_trees	analyze.c:529 analyze.c:534	R:all_trees (analyze.c:529 function gtaFreeTrees thread 0) W:all_trees (analyze.c:534 function gtaFreeTrees thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:77 analyze.c:78	R:leafs_gathered_next (analyze.c:77 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:77 analyze.c:78	R:leafs_gathered_next (analyze.c:77 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:77 analyze.c:78	R:leafs_gathered_next (analyze.c:77 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:77 analyze.c:78	R:leafs_gathered_next (analyze.c:77 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:77 analyze.c:78	R:leafs_gathered_next (analyze.c:77 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:77 analyze.c:78	R:leafs_gathered_next (analyze.c:77 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
DpDatasW Rfi	all_trees	analyze.c:50 analyze.c:49	R:all_trees (analyze.c:49 function make_tree_leaf thread 0) W:all_trees (analyze.c:50 function make_tree_leaf thread 0)
DpDatasW Rfi	all_trees	analyze.c:67 analyze.c:68	R:all_trees (analyze.c:67 function make_tree_internal thread 0) W:all_trees (analyze.c:68 function make_tree_internal thread 0)
PosRW Rfi	all_trees	analyze.c:532 analyze.c:529	R:all_trees (analyze.c:529 function gtaFreeTrees thread 0) W:all_trees (analyze.c:532 function gtaFreeTrees thread 0)
PosRW Rfi	all_trees	analyze.c:529 analyze.c:534	R:all_trees (analyze.c:529 function gtaFreeTrees thread 0) W:all_trees (analyze.c:534 function gtaFreeTrees thread 0)
PosRW Rfi	all_trees	analyze.c:532 analyze.c:529	R:all_trees (analyze.c:529 function gtaFreeTrees thread 0) W:all_trees (analyze.c:532 function gtaFreeTrees thread 0)
PosRW Rfi	all_trees	analyze.c:529 analyze.c:534	R:all_trees (analyze.c:529 function gtaFreeTrees thread 0) W:all_trees (analyze.c:534 function gtaFreeTrees thread 0)
PosRW Rfi	all_trees	analyze.c:532 analyze.c:529	R:all_trees (analyze.c:529 function gtaFreeTrees thread 0) W:all_trees (analyze.c:532 function gtaFreeTrees thread 0)
PosRW Rfi	all_trees	analyze.c:529 analyze.c:534	R:all_trees (analyze.c:529 function gtaFreeTrees thread 0) W:all_trees (analyze.c:534 function gtaFreeTrees thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:77 analyze.c:78	R:leafs_gathered_next (analyze.c:77 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:77 analyze.c:78	R:leafs_gathered_next (analyze.c:77 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:77 analyze.c:78	R:leafs_gathered_next (analyze.c:77 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:77 analyze.c:78	R:leafs_gathered_next (analyze.c:77 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:77 analyze.c:78	R:leafs_gathered_next (analyze.c:77 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:77 analyze.c:78	R:leafs_gathered_next (analyze.c:77 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	leafs_gathered_next	analyze.c:78	R:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0) W:leafs_gathered_next (analyze.c:78 function leaf_gather_fn thread 0)
PosRW Rfi	gta_in_mem	external.c:186	R:gta_in_mem (external.c:186 function gtaImport thread 0) W:gta_in_mem (external.c:186 function gtaImport thread 0)
PosRW Rfi	gta_in_mem	external.c:186	R:gta_in_mem (external.c:186 function gtaImport thread 0) W:gta_in_mem (external.c:186 function gtaImport thread 0)
PosRW Rfi	gta_in_mem	external.c:186	R:gta_in_mem (external.c:186 function gtaImport thread 0) W:gta_in_mem (external.c:186 function gtaImport thread 0)
PosRW Rfi	gta_in_mem	external.c:186	R:gta_in_mem (external.c:186 function gtaImport thread 0) W:gta_in_mem (external.c:186 function gtaImport thread 0)
PosRW Rfi	gta_in_mem	external.c:186	R:gta_in_mem (external.c:186 function gtaImport thread 0) W:gta_in_mem (external.c:186 function gtaImport thread 0)
PosRW Rfi	gta_in_mem	external.c:186	R:gta_in_mem (external.c:186 function gtaImport thread 0) W:gta_in_mem (external.c:186 function gtaImport thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:154	R:stat_record (BDD/bdd_manager.c:154 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:154	R:stat_record (BDD/bdd_manager.c:154 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:154	R:stat_record (BDD/bdd_manager.c:154 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:154	R:stat_record (BDD/bdd_manager.c:154 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:154	R:stat_record (BDD/bdd_manager.c:154 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:154	R:stat_record (BDD/bdd_manager.c:154 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:154	R:stat_record (BDD/bdd_manager.c:154 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:154	R:stat_record (BDD/bdd_manager.c:154 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:153	R:stat_record (BDD/bdd_manager.c:153 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	stat_record	BDD/bdd_manager.c:155 BDD/bdd_manager.c:154	R:stat_record (BDD/bdd_manager.c:154 function bdd_update_statistics thread 0) W:stat_record (BDD/bdd_manager.c:155 function bdd_update_statistics thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:66	R:dfa_in_mem (dfa.c:66 function dfaFree thread 0) W:dfa_in_mem (dfa.c:66 function dfaFree thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:66	R:dfa_in_mem (dfa.c:66 function dfaFree thread 0) W:dfa_in_mem (dfa.c:66 function dfaFree thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:66	R:dfa_in_mem (dfa.c:66 function dfaFree thread 0) W:dfa_in_mem (dfa.c:66 function dfaFree thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:54	R:dfa_in_mem (dfa.c:54 function dfaMakeNoBddm thread 0) W:dfa_in_mem (dfa.c:54 function dfaMakeNoBddm thread 0)
PosRW Rfi	max_dfa_in_mem	dfa.c:56 dfa.c:55	R:max_dfa_in_mem (dfa.c:55 function dfaMakeNoBddm thread 0) W:max_dfa_in_mem (dfa.c:56 function dfaMakeNoBddm thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:54	R:dfa_in_mem (dfa.c:54 function dfaMakeNoBddm thread 0) W:dfa_in_mem (dfa.c:54 function dfaMakeNoBddm thread 0)
PosRW Rfi	max_dfa_in_mem	dfa.c:56 dfa.c:55	R:max_dfa_in_mem (dfa.c:55 function dfaMakeNoBddm thread 0) W:max_dfa_in_mem (dfa.c:56 function dfaMakeNoBddm thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:54	R:dfa_in_mem (dfa.c:54 function dfaMakeNoBddm thread 0) W:dfa_in_mem (dfa.c:54 function dfaMakeNoBddm thread 0)
PosRW Rfi	max_dfa_in_mem	dfa.c:56 dfa.c:55	R:max_dfa_in_mem (dfa.c:55 function dfaMakeNoBddm thread 0) W:max_dfa_in_mem (dfa.c:56 function dfaMakeNoBddm thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:39	R:dfa_in_mem (dfa.c:39 function dfaMake thread 0) W:dfa_in_mem (dfa.c:39 function dfaMake thread 0)
PosRW Rfi	max_dfa_in_mem	dfa.c:40 dfa.c:41	R:max_dfa_in_mem (dfa.c:40 function dfaMake thread 0) W:max_dfa_in_mem (dfa.c:41 function dfaMake thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:39	R:dfa_in_mem (dfa.c:39 function dfaMake thread 0) W:dfa_in_mem (dfa.c:39 function dfaMake thread 0)
PosRW Rfi	max_dfa_in_mem	dfa.c:40 dfa.c:41	R:max_dfa_in_mem (dfa.c:40 function dfaMake thread 0) W:max_dfa_in_mem (dfa.c:41 function dfaMake thread 0)
PosRW Rfi	dfa_in_mem	dfa.c:39	R:dfa_in_mem (dfa.c:39 function dfaMake thread 0) W:dfa_in_mem (dfa.c:39 function dfaMake thread 0)
PosRW Rfi	max_dfa_in_mem	dfa.c:40 dfa.c:41	R:max_dfa_in_mem (dfa.c:40 function dfaMake thread 0) W:max_dfa_in_mem (dfa.c:41 function dfaMake thread 0)

This document was translated from L^AT_EX by H^EV^EA.