Hello,
Recently I have figured out a problem with the "fgrep" using the 2 attached
files.
*$fgrep –version*
fgrep (GNU grep) 2.5.1
Copyright 1988, 1992-1999, 2000, 2001 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
*$uname –a*
Linux vendetta 2.6.9-67.ELsmp #1 SMP Wed Nov 7 13:58:04 EST 2007 i686 i686
i386 GNU/Linux
*PROBLEM Description:*
* *
*$fgrep –v –f ref_passed results/passed*
à Returns nothing
à Although the line "./e_hvl_2/src/coverage_21" is
found in file results/passed and not found in file ref_passed
i.e.
$ grep ./e_hvl_2/src/coverage_21 ref_passed
$ grep ./e_hvl_2/src/coverage_21 results_passed
./e_hvl_2/src/coverage_21
--
Best regards,
Ahmed Yehia
./writing_tb_e/src/misc_2
./writing_tb_e/src/events_te_1
./writing_tb_e/src/misc_1
./aop_using_e/src/extend_4
./aop_using_e/src/hook_1
./aop_using_e/src/method_1
./aop_using_e/src/extend_6
./aop_using_e/src/concerns_partition_1
./aop_using_e/src/aop_2
./aop_using_e/src/extend_2
./aop_using_e/src/pluggable_6
./aop_using_e/src/hook_4
./aop_using_e/src/aop_1
./aop_using_e/src/hook_2
./aop_using_e/src/pluggable_3
./aop_using_e/src/extend_3
./aop_using_e/src/pluggable_5
./aop_using_e/src/negative_6
./aop_using_e/src/hook_5
./aop_using_e/src/method_2
./aop_using_e/src/factory
./aop_using_e/src/negative_7
./aop_using_e/src/aop_3
./aop_using_e/src/aop_5
./aop_using_e/src/pluggable_1
./aop_using_e/src/extend_1
./aop_using_e/src/sequencer_2
./aop_using_e/src/pluggable_2
./web/src/data_types_1
./web/src/regular_methods_4
./web/src/packing_unpacking_3
./web/src/misc_11
./web/src/regular_methods_3
./web/src/bit_wise_op_1
./web/src/boolean_op_3
./web/src/like_1
./web/src/flow_control_7
./web/src/when_5
./web/src/constraints_6
./web/src/misc_4
./web/src/misc_10
./web/src/buses
./web/src/packet_seq
./web/src/regular_methods_6
./web/src/data_types_3
./web/src/boolean_op_1
./web/src/bit_wise_op_2
./web/src/regular_methods_7
./web/src/constraints_9
./web/src/keyed_lists_1
./web/src/flow_control_8
./web/src/boolean_op_2
./web/src/bit_wise_op_4
./web/src/misc_3
./web/src/regular_lists_1
./web/src/regular_lists_3
./web/src/flow_control_1
./web/src/flow_control_2
./web/src/macros_2
./web/src/misc_9
./web/src/uart
./web/src/arith_op_1
./web/src/misc_6
./web/src/misc_7
./web/src/like_2
./web/src/flow_control_5
./web/src/packing_unpacking_1
./web/src/regular_methods_5
./web/src/misc_8
./web/src/packing_unpacking_2
./web/src/flow_control_4
./web/src/data_types_4
./web/src/when_1
./web/src/when_4
./web/src/regular_methods_2
./web/src/constraints_3
./web/src/misc_12
./web/src/constraints_2
./web/src/constraints_1
./web/src/when_2
./web/src/flow_control_3
./web/src/arith_op_2
./web/src/packing_unpacking_4
./web/src/keyed_lists_2
./web/src/events_te_1
./web/src/bit_wise_op_3
./web/src/data_types_2
./web/src/when_3
./web/src/constraints_10
./web/src/misc_1
./web/src/regular_lists_4
./web/src/switch
./web/src/flow_control_9
./web/src/regular_lists_2
./web/src/regular_methods_1
./web/src/constraints_8
./web/src/flow_control_6
./web/src/constraints_5
./web/src/flow_control_10
./training/src/temporal_checks_1
./training/src/like_1
./training/src/tcm_3
./training/src/tcm_4
./training/src/actions
./training/src/tcm_2
./training/src/te_2
./training/src/mvl_1
./training/src/datatypes
./training/src/gen_1
./training/src/extend
./training/src/te_1
./training/src/literals
./training/src/gen_3
./training/src/constants
./training/src/tcm_1
./training/src/cast
./training/src/temporal_checks_2
./training/src/events_1
./training/src/content-oriented
./training/src/events_2
./training/src/when_2
./training/src/run
./training/src/events_3
./training/src/tcm_5
./training/src/when_3
./training/src/keyed_lists
./training/src/strings
./training/src/gen_2
./design_verif_e/src/regular_methods_3
./design_verif_e/src/flow_control_7
./design_verif_e/src/constraints_6
./design_verif_e/src/misc_4
./design_verif_e/src/checkers_1
./design_verif_e/src/events_te_7
./design_verif_e/src/events_te_6
./design_verif_e/src/misc_2
./design_verif_e/src/data_types_3
./design_verif_e/src/events_te_5
./design_verif_e/src/coverage_7
./design_verif_e/src/misc_3
./design_verif_e/src/events_te_13
./design_verif_e/src/regular_lists_1
./design_verif_e/src/regular_lists_3
./design_verif_e/src/flow_control_1
./design_verif_e/src/events_te_15
./design_verif_e/src/flow_control_2
./design_verif_e/src/events_te_14
./design_verif_e/src/coverage_1
./design_verif_e/src/misc_5
./design_verif_e/src/coverage_10
./design_verif_e/src/misc_7
./design_verif_e/src/flow_control_5
./design_verif_e/src/packing_unpacking_1
./design_verif_e/src/events_te_12
./design_verif_e/src/events_te_18
./design_verif_e/src/packing_unpacking_2
./design_verif_e/src/flow_control_4
./design_verif_e/src/coverage_4
./design_verif_e/src/data_types_4
./design_verif_e/src/events_te_4
./design_verif_e/src/when_1
./design_verif_e/src/coverage_3
./design_verif_e/src/events_te_16
./design_verif_e/src/regular_methods_2
./design_verif_e/src/constraints_3
./design_verif_e/src/coverage_6
./design_verif_e/src/constraints_2
./design_verif_e/src/constraints_4
./design_verif_e/src/constraints_1
./design_verif_e/src/events_te_9
./design_verif_e/src/when_2
./design_verif_e/src/flow_control_3
./design_verif_e/src/coverage_2
./design_verif_e/src/events_te_1
./design_verif_e/src/events_te_17
./design_verif_e/src/events_te_2
./design_verif_e/src/events_te_3
./design_verif_e/src/data_types_2
./design_verif_e/src/when_3
./design_verif_e/src/events_te_11
./design_verif_e/src/events_te_8
./design_verif_e/src/misc_1
./design_verif_e/src/events_te_10
./design_verif_e/src/regular_methods_1
./design_verif_e/src/c_interface_3
./design_verif_e/src/constraints_5
./papers/src/when_5
./papers/src/constraints_6
./papers/src/sep_of_concerns_3
./papers/src/when_6
./papers/src/struct_fields_2
./papers/src/actions
./papers/src/naming
./papers/src/when_7
./papers/src/multiple_import
./papers/src/negative_3
./papers/src/lists_4
./papers/src/te_2
./papers/src/te_1
./papers/src/lists_2
./papers/src/methods_2
./papers/src/sep_of_concerns_2
./papers/src/methods_3
./papers/src/operators
./papers/src/macros
./papers/src/when_1
./papers/src/when_4
./papers/src/negative_6
./papers/src/negative_4
./papers/src/constraints_3
./papers/src/struct_fields_1
./papers/src/lists_1
./papers/src/constraints_2
./papers/src/constraints_4
./papers/src/constraints_1
./papers/src/struct_hier
./papers/src/const_2
./papers/src/units_1
./papers/src/only_comments
./papers/src/lists_5
./papers/src/methods_1
./papers/src/when_3
./papers/src/lists_3
./papers/src/units_2
./papers/src/constraints_5
./web/src/when_6
./aop_using_e/src/negative_4
./aop_using_e/src/negative_1
./aop_using_e/src/negative_5
./web/src/data_types_5
./design_verif_e/src/regular_lists_5
./papers/src/negative_5
./aop_using_e/src/hook_3
./aop_using_e/src/aop_4
./aop_using_e/src/extend_5
./aop_using_e/src/cyclic_import
./aop_using_e/src/sequencer_1
./aop_using_e/src/pluggable_4
./web/src/misc_2
./web/src/fifo
./web/src/coverage_1
./web/src/misc_5
./web/src/constraints_7
./web/src/constraints_4
./web/src/coverage_2
./training/src/alu_e
./training/src/like_2
./training/src/gen_4
./training/src/tcm_6
./training/src/when_1
./training/src/coverage
./training/src/temporal_checks_3
./design_verif_e/src/coverage_9
./design_verif_e/src/xor
./design_verif_e/src/router
./design_verif_e/src/c_interface_2
./design_verif_e/src/misc_6
./design_verif_e/src/checkers_2
./design_verif_e/src/data_types_5
./design_verif_e/src/c_interface_1
./design_verif_e/src/coverage_5
./design_verif_e/src/constraints_7
./design_verif_e/src/c_interface_4
./design_verif_e/src/coverage_8
./design_verif_e/src/regular_lists_4
./design_verif_e/src/flow_control_6
./papers/src/negative_2
./papers/src/sep_of_concerns_1
./papers/src/get_hooked
./papers/src/load_order_1
./papers/src/fsm_coverage
./papers/src/constraints_8
./training/src/router_nt
./training/src/router_sst
./e_hvl_1/src/data_types_3
./e_hvl_1/src/neg_decl
./e_hvl_1/src/data_types_2
./e_hvl_1/src/regular_lists_2
./e_hvl_2/src/misc_4
./e_hvl_2/src/misc_7
./e_hvl_2/src/when_2
./e_hvl_2/src/misc_1
./e_hvl_1/src/data_types_1
./e_hvl_1/src/message_2
./e_hvl_1/src/constraints_6
./e_hvl_1/src/events_te_7
./e_hvl_1/src/message_5
./e_hvl_1/src/events_te_6
./e_hvl_1/src/events_te_5
./e_hvl_1/src/constraints_9
./e_hvl_1/src/ports_1
./e_hvl_1/src/message_6
./e_hvl_1/src/message_1
./e_hvl_1/src/flow_control_1
./e_hvl_1/src/packing_unpacking_1
./e_hvl_1/src/packing_unpacking_2
./e_hvl_1/src/events_te_4
./e_hvl_1/src/message_7
./e_hvl_1/src/regular_methods_1d
./e_hvl_1/src/regular_methods_2
./e_hvl_1/src/constraints_3
./e_hvl_1/src/constraints_2
./e_hvl_1/src/constraints_7
./e_hvl_1/src/constraints_4
./e_hvl_1/src/constraints_1
./e_hvl_1/src/events_te_9
./e_hvl_1/src/packing_unpacking_3d
./e_hvl_1/src/message_8
./e_hvl_1/src/events_te_1
./e_hvl_1/src/events_te_2
./e_hvl_1/src/events_te_3
./e_hvl_1/src/events_te_8
./e_hvl_1/src/message_3
./e_hvl_1/src/events_te_10
./e_hvl_1/src/constraints_8
./e_hvl_1/src/constraints_5
./e_hvl_2/src/misc_11
./e_hvl_2/src/when_5
./e_hvl_2/src/coverage_17
./e_hvl_2/src/misc_10
./e_hvl_2/src/when_6
./e_hvl_2/src/misc_2
./e_hvl_2/src/when_7
./e_hvl_2/src/coverage_20
./e_hvl_2/src/coverage_7
./e_hvl_2/src/misc_3
./e_hvl_2/src/misc_16
./e_hvl_2/src/misc_13
./e_hvl_2/src/misc_17
./e_hvl_2/src/misc_9
./e_hvl_2/src/coverage_1
./e_hvl_2/src/misc_5
./e_hvl_2/src/misc_6
./e_hvl_2/src/coverage_15
./e_hvl_2/src/coverage_10
./e_hvl_2/src/coverage_14
./e_hvl_2/src/coverage_12
./e_hvl_2/src/misc_8
./e_hvl_2/src/coverage_4
./e_hvl_2/src/misc_15
./e_hvl_2/src/coverage_18
./e_hvl_2/src/when_1
./e_hvl_2/src/coverage_3
./e_hvl_2/src/when_4
./e_hvl_2/src/coverage_16
./e_hvl_2/src/coverage_6
./e_hvl_2/src/coverage_5
./e_hvl_2/src/misc_12
./e_hvl_2/src/coverage_13
./e_hvl_2/src/coverage_2
./e_hvl_2/src/coverage_19
./e_hvl_2/src/misc_3d
./e_hvl_2/src/when_3
./e_hvl_1/src/regular_methods_3
./e_hvl_1/src/locker_sem_1
./e_hvl_1/src/data_types_6
./e_hvl_1/src/packing_unpacking_3
./e_hvl_1/src/data_types_7
./e_hvl_1/src/locker_sem_2
./e_hvl_1/src/regular_methods_5
./e_hvl_1/src/data_types_4
./e_hvl_1/src/global
./e_hvl_1/src/regular_methods_1
./e_hvl_2/src/coverage_11
./e_hvl_1/src/message_4
./papers/src/negative_1
./e_hvl_2/src/coverage_8
./web/src/vliwDLX
./misc/src/sequences_2
./misc/src/strategy
./misc/src/implicit_list_1
./misc/src/sequences_5
./misc/src/directives
./misc/src/sequences_3
./misc/src/misc
./misc/src/like
./e_hvl_1/src/regular_methods_3
./e_hvl_1/src/data_types_3
./e_hvl_1/src/neg_decl
./e_hvl_1/src/message_4
./e_hvl_1/src/locker_sem_1
./e_hvl_1/src/data_types_6
./e_hvl_1/src/data_types_2
./e_hvl_1/src/regular_lists_2
./writing_tb_e/src/misc_1
./aop_using_e/src/extend_4
./aop_using_e/src/negative_6
./aop_using_e/src/negative_4
./aop_using_e/src/negative_7
./aop_using_e/src/aop_3
./aop_using_e/src/negative_1
./aop_using_e/src/negative_5
./web/src/misc_10
./web/src/data_types_5
./e_hvl_2/src/misc_4
./e_hvl_2/src/misc_7
./e_hvl_2/src/coverage_21
./e_hvl_2/src/when_2
./e_hvl_2/src/misc_1
./design_verif_e/src/data_types_3
./design_verif_e/src/regular_lists_5
./design_verif_e/src/regular_lists_3
./design_verif_e/src/data_types_4
./design_verif_e/src/coverage_6
./papers/src/when_5
./papers/src/negative_3
./papers/src/negative_6
./papers/src/negative_4
./papers/src/const_2
./papers/src/negative_1
./papers/src/negative_5
./e_hvl_1/src/data_types_1
./e_hvl_1/src/packing_unpacking_3
./e_hvl_1/src/message_2
./e_hvl_1/src/constraints_6
./e_hvl_1/src/data_types_7
./e_hvl_1/src/events_te_7
./e_hvl_1/src/message_5
./e_hvl_1/src/events_te_6
./e_hvl_1/src/events_te_5
./e_hvl_1/src/constraints_9
./e_hvl_1/src/ports_1
./e_hvl_1/src/message_6
./e_hvl_1/src/message_1
./e_hvl_1/src/flow_control_1
./e_hvl_1/src/packing_unpacking_1
./e_hvl_1/src/locker_sem_2
./e_hvl_1/src/regular_methods_5
./e_hvl_1/src/packing_unpacking_2
./e_hvl_1/src/data_types_4
./e_hvl_1/src/events_te_4
./e_hvl_1/src/message_7
./e_hvl_1/src/regular_methods_1d
./e_hvl_1/src/regular_methods_2
./e_hvl_1/src/constraints_3
./e_hvl_1/src/constraints_2
./e_hvl_1/src/constraints_7
./e_hvl_1/src/constraints_4
./e_hvl_1/src/constraints_1
./e_hvl_1/src/events_te_9
./e_hvl_1/src/global
./e_hvl_1/src/packing_unpacking_3d
./e_hvl_1/src/message_8
./e_hvl_1/src/events_te_1
./e_hvl_1/src/events_te_2
./e_hvl_1/src/events_te_3
./e_hvl_1/src/events_te_8
./e_hvl_1/src/message_3
./e_hvl_1/src/events_te_10
./e_hvl_1/src/regular_methods_1
./e_hvl_1/src/constraints_8
./e_hvl_1/src/constraints_5
./writing_tb_e/src/misc_2
./writing_tb_e/src/events_te_1
./aop_using_e/src/hook_1
./aop_using_e/src/method_1
./aop_using_e/src/extend_6
./aop_using_e/src/concerns_partition_1
./aop_using_e/src/hook_3
./aop_using_e/src/aop_2
./aop_using_e/src/extend_2
./aop_using_e/src/aop_4
./aop_using_e/src/pluggable_6
./aop_using_e/src/hook_4
./aop_using_e/src/aop_1
./aop_using_e/src/hook_2
./aop_using_e/src/pluggable_3
./aop_using_e/src/extend_3
./aop_using_e/src/extend_5
./aop_using_e/src/pluggable_5
./aop_using_e/src/hook_5
./aop_using_e/src/method_2
./aop_using_e/src/factory
./aop_using_e/src/cyclic_import
./aop_using_e/src/aop_5
./aop_using_e/src/pluggable_1
./aop_using_e/src/sequencer_1
./aop_using_e/src/pluggable_4
./aop_using_e/src/extend_1
./aop_using_e/src/sequencer_2
./aop_using_e/src/pluggable_2
./web/src/data_types_1
./web/src/regular_methods_4
./web/src/packing_unpacking_3
./web/src/misc_11
./web/src/regular_methods_3
./web/src/bit_wise_op_1
./web/src/boolean_op_3
./web/src/like_1
./web/src/flow_control_7
./web/src/when_5
./web/src/constraints_6
./web/src/misc_4
./web/src/buses
./web/src/packet_seq
./web/src/regular_methods_6
./web/src/when_6
./web/src/misc_2
./web/src/data_types_3
./web/src/boolean_op_1
./web/src/bit_wise_op_2
./web/src/regular_methods_7
./web/src/fifo
./web/src/constraints_9
./web/src/keyed_lists_1
./web/src/flow_control_8
./web/src/boolean_op_2
./web/src/bit_wise_op_4
./web/src/misc_3
./web/src/regular_lists_1
./web/src/regular_lists_3
./web/src/flow_control_1
./web/src/flow_control_2
./web/src/macros_2
./web/src/misc_9
./web/src/uart
./web/src/arith_op_1
./web/src/coverage_1
./web/src/misc_5
./web/src/misc_6
./web/src/misc_7
./web/src/like_2
./web/src/flow_control_5
./web/src/packing_unpacking_1
./web/src/regular_methods_5
./web/src/misc_8
./web/src/packing_unpacking_2
./web/src/flow_control_4
./web/src/data_types_4
./web/src/when_1
./web/src/when_4
./web/src/regular_methods_2
./web/src/constraints_3
./web/src/vliwDLX
./web/src/misc_12
./web/src/constraints_2
./web/src/constraints_7
./web/src/constraints_4
./web/src/constraints_1
./web/src/when_2
./web/src/flow_control_3
./web/src/arith_op_2
./web/src/packing_unpacking_4
./web/src/keyed_lists_2
./web/src/coverage_2
./web/src/events_te_1
./web/src/bit_wise_op_3
./web/src/data_types_2
./web/src/when_3
./web/src/constraints_10
./web/src/misc_1
./web/src/regular_lists_4
./web/src/switch
./web/src/flow_control_9
./web/src/regular_lists_2
./web/src/regular_methods_1
./web/src/constraints_8
./web/src/flow_control_6
./web/src/constraints_5
./web/src/flow_control_10
./training/src/temporal_checks_1
./training/src/router_nt
./training/src/alu_e
./training/src/like_1
./training/src/tcm_3
./training/src/router_sst
./training/src/tcm_4
./training/src/actions
./training/src/tcm_2
./training/src/te_2
./training/src/mvl_1
./training/src/datatypes
./training/src/gen_1
./training/src/extend
./training/src/te_1
./training/src/like_2
./training/src/gen_4
./training/src/tcm_6
./training/src/literals
./training/src/gen_3
./training/src/when_1
./training/src/constants
./training/src/tcm_1
./training/src/cast
./training/src/temporal_checks_2
./training/src/events_1
./training/src/content-oriented
./training/src/events_2
./training/src/when_2
./training/src/run
./training/src/events_3
./training/src/tcm_5
./training/src/when_3
./training/src/keyed_lists
./training/src/strings
./training/src/coverage
./training/src/temporal_checks_3
./training/src/gen_2
./e_hvl_2/src/misc_11
./e_hvl_2/src/when_5
./e_hvl_2/src/coverage_17
./e_hvl_2/src/misc_10
./e_hvl_2/src/when_6
./e_hvl_2/src/misc_2
./e_hvl_2/src/when_7
./e_hvl_2/src/coverage_20
./e_hvl_2/src/coverage_7
./e_hvl_2/src/misc_3
./e_hvl_2/src/misc_16
./e_hvl_2/src/misc_13
./e_hvl_2/src/misc_17
./e_hvl_2/src/misc_9
./e_hvl_2/src/coverage_1
./e_hvl_2/src/misc_5
./e_hvl_2/src/misc_6
./e_hvl_2/src/coverage_15
./e_hvl_2/src/coverage_10
./e_hvl_2/src/coverage_14
./e_hvl_2/src/coverage_11
./e_hvl_2/src/coverage_12
./e_hvl_2/src/misc_8
./e_hvl_2/src/coverage_4
./e_hvl_2/src/misc_15
./e_hvl_2/src/coverage_18
./e_hvl_2/src/when_1
./e_hvl_2/src/coverage_3
./e_hvl_2/src/when_4
./e_hvl_2/src/coverage_16
./e_hvl_2/src/coverage_6
./e_hvl_2/src/coverage_5
./e_hvl_2/src/misc_12
./e_hvl_2/src/coverage_13
./e_hvl_2/src/coverage_2
./e_hvl_2/src/coverage_19
./e_hvl_2/src/misc_3d
./e_hvl_2/src/when_3
./e_hvl_2/src/coverage_8
./design_verif_e/src/regular_methods_3
./design_verif_e/src/coverage_9
./design_verif_e/src/flow_control_7
./design_verif_e/src/constraints_6
./design_verif_e/src/misc_4
./design_verif_e/src/checkers_1
./design_verif_e/src/events_te_7
./design_verif_e/src/events_te_6
./design_verif_e/src/misc_2
./design_verif_e/src/xor
./design_verif_e/src/router
./design_verif_e/src/events_te_5
./design_verif_e/src/c_interface_2
./design_verif_e/src/coverage_7
./design_verif_e/src/misc_3
./design_verif_e/src/events_te_13
./design_verif_e/src/regular_lists_1
./design_verif_e/src/flow_control_1
./design_verif_e/src/events_te_15
./design_verif_e/src/flow_control_2
./design_verif_e/src/events_te_14
./design_verif_e/src/coverage_1
./design_verif_e/src/misc_5
./design_verif_e/src/misc_6
./design_verif_e/src/coverage_10
./design_verif_e/src/misc_7
./design_verif_e/src/flow_control_5
./design_verif_e/src/packing_unpacking_1
./design_verif_e/src/events_te_12
./design_verif_e/src/events_te_18
./design_verif_e/src/checkers_2
./design_verif_e/src/data_types_5
./design_verif_e/src/packing_unpacking_2
./design_verif_e/src/flow_control_4
./design_verif_e/src/coverage_4
./design_verif_e/src/events_te_4
./design_verif_e/src/when_1
./design_verif_e/src/coverage_3
./design_verif_e/src/c_interface_1
./design_verif_e/src/events_te_16
./design_verif_e/src/regular_methods_2
./design_verif_e/src/constraints_3
./design_verif_e/src/coverage_5
./design_verif_e/src/constraints_2
./design_verif_e/src/constraints_7
./design_verif_e/src/constraints_4
./design_verif_e/src/constraints_1
./design_verif_e/src/events_te_9
./design_verif_e/src/when_2
./design_verif_e/src/flow_control_3
./design_verif_e/src/coverage_2
./design_verif_e/src/events_te_1
./design_verif_e/src/events_te_17
./design_verif_e/src/events_te_2
./design_verif_e/src/c_interface_4
./design_verif_e/src/events_te_3
./design_verif_e/src/data_types_2
./design_verif_e/src/when_3
./design_verif_e/src/coverage_8
./design_verif_e/src/events_te_11
./design_verif_e/src/events_te_8
./design_verif_e/src/misc_1
./design_verif_e/src/regular_lists_4
./design_verif_e/src/events_te_10
./design_verif_e/src/regular_methods_1
./design_verif_e/src/c_interface_3
./design_verif_e/src/flow_control_6
./design_verif_e/src/constraints_5
./papers/src/constraints_6
./papers/src/sep_of_concerns_3
./papers/src/when_6
./papers/src/struct_fields_2
./papers/src/actions
./papers/src/naming
./papers/src/when_7
./papers/src/multiple_import
./papers/src/lists_4
./papers/src/te_2
./papers/src/negative_2
./papers/src/te_1
./papers/src/lists_2
./papers/src/sep_of_concerns_1
./papers/src/methods_2
./papers/src/sep_of_concerns_2
./papers/src/methods_3
./papers/src/operators
./papers/src/macros
./papers/src/when_1
./papers/src/when_4
./papers/src/get_hooked
./papers/src/constraints_3
./papers/src/struct_fields_1
./papers/src/lists_1
./papers/src/constraints_2
./papers/src/constraints_4
./papers/src/constraints_1
./papers/src/load_order_1
./papers/src/struct_hier
./papers/src/units_1
./papers/src/only_comments
./papers/src/lists_5
./papers/src/fsm_coverage
./papers/src/methods_1
./papers/src/when_3
./papers/src/lists_3
./papers/src/units_2
./papers/src/constraints_8
./papers/src/constraints_5
./misc/src/sequences_2
./misc/src/strategy
./misc/src/implicit_list_1
./misc/src/sequences_5
./misc/src/directives
./misc/src/sequences_3
./misc/src/misc
./misc/src/like
