⭐ 欢迎来到虫虫下载站！ | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站
📤 上传资源

📄 l2test.wpj

📁 vxworks的系统故障诊断项目
💻 WPJ
📖 第 1 页 / 共 5 页
字号:
🔍
12345 
	$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignable.h \
	$(PRJ_DIR)/../../../include/conflict_db/variable.h \
	$(PRJ_DIR)/../../../include/tms/theory.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignment.h \
	$(PRJ_DIR)/../../../include/conflict_db/dependent.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict.h \
	$(PRJ_DIR)/../../../include/conflict_db/command.h \
	$(PRJ_DIR)/../../../include/conflict_db/observable.h \
	$(PRJ_DIR)/../../../include/conflict_db/past_command.h \
	$(PRJ_DIR)/../../../include/conflict_db/state_variable.h \
	$(PRJ_DIR)/../../../include/conflict_db/transition.h \
	$(PRJ_DIR)/../../../include/tms/ltms.h \
	$(PRJ_DIR)/../../../include/mba_utils/array.h \
	$(PRJ_DIR)/../../../include/tms/ptheory.h \
	$(PRJ_DIR)/../../../include/tms/clause.h \
	$(PRJ_DIR)/../../../include/tms/proposition.h \
	$(PRJ_DIR)/../../../include/conflict_db/candidate.h \
	$(PRJ_DIR)/../../../include/transition/termination.h \
	$(PRJ_DIR)/../../../include/debuggers/tracker_debug.h \
	$(PRJ_DIR)/../../../include/debuggers/T_system_debug.h \
	$(PRJ_DIR)/../../../include/debuggers/conflict_db_debug.h \
	$(PRJ_DIR)/../../../include/debuggers/ltms_debug.h \
	$(PRJ_DIR)/../../../include/mba_utils/hash_table.h \
	$(PRJ_DIR)/../../../include/mba_utils/prime.h \
	$(PRJ_DIR)/../../../include/transition/transitioned.h \
	$(PRJ_DIR)/../../../include/debuggers/trajectory.h \
	$(PRJ_DIR)/../../../include/checkpoint/checkpoint.h
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../cover/cover_tracker_debug.cpp_objects
cover_tracker_debug.o
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../cover/cover_tracker_debug.cpp_tool
C/C++ compiler
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/L2_string_map.cpp_dependDone
TRUE
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/L2_string_map.cpp_dependencies
$(PRJ_DIR)/../../../include/debuggers/L2_string_map.h \
	$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
	$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
	$(PRJ_DIR)/../../../include/mba_utils/array.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
	$(PRJ_DIR)/../../../include/mba_utils/hash_table.h \
	$(PRJ_DIR)/../../../include/mba_utils/pair.h \
	$(PRJ_DIR)/../../../include/mba_utils/prime.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist.h \
	$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
	$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
	$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
	$(PRJ_DIR)/../../../include/readers/L2_file.h \
	$(PRJ_DIR)/../../../include/readers/common.h \
	$(PRJ_DIR)/../../../include/readers/varkind.h \
	$(PRJ_DIR)/../../../include/readers/variable.h \
	$(PRJ_DIR)/../../../include/readers/enumeration.h \
	$(PRJ_DIR)/../../../include/readers/modes.h \
	$(PRJ_DIR)/../../../include/transition/T_system.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict_db.h \
	$(PRJ_DIR)/../../../include/conflict_db/assumption.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignable.h \
	$(PRJ_DIR)/../../../include/conflict_db/variable.h \
	$(PRJ_DIR)/../../../include/tms/theory.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignment.h \
	$(PRJ_DIR)/../../../include/conflict_db/dependent.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict.h \
	$(PRJ_DIR)/../../../include/conflict_db/command.h \
	$(PRJ_DIR)/../../../include/conflict_db/observable.h \
	$(PRJ_DIR)/../../../include/conflict_db/past_command.h \
	$(PRJ_DIR)/../../../include/conflict_db/state_variable.h \
	$(PRJ_DIR)/../../../include/conflict_db/transition.h \
	$(PRJ_DIR)/../../../include/tms/ltms.h \
	$(PRJ_DIR)/../../../include/tms/ptheory.h \
	$(PRJ_DIR)/../../../include/tms/clause.h \
	$(PRJ_DIR)/../../../include/tms/proposition.h \
	$(PRJ_DIR)/../../../include/transition/transitioned.h \
	$(PRJ_DIR)/../../../include/debuggers/trajectory.h \
	$(PRJ_DIR)/../../../include/debuggers/domain.h
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/L2_string_map.cpp_objects
L2_string_map.o
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/L2_string_map.cpp_tool
C/C++ compiler
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/L2_string_map_listener.cpp_dependDone
TRUE
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/L2_string_map_listener.cpp_dependencies
$(PRJ_DIR)/../../../include/debuggers/L2_string_map_listener.h \
	$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
	$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
	$(PRJ_DIR)/../../../include/readers/to_t_system_listener.h \
	$(PRJ_DIR)/../../../include/transition/tracker_listener.h \
	$(PRJ_DIR)/../../../include/transition/T_system_listener.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict_db_listener.h \
	$(PRJ_DIR)/../../../include/tms/ptheory_listener.h \
	$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignable.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist.h \
	$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
	$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
	$(PRJ_DIR)/../../../include/conflict_db/variable.h \
	$(PRJ_DIR)/../../../include/tms/theory.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignment.h \
	$(PRJ_DIR)/../../../include/debuggers/L2_string_map.h \
	$(PRJ_DIR)/../../../include/mba_utils/array.h \
	$(PRJ_DIR)/../../../include/mba_utils/hash_table.h \
	$(PRJ_DIR)/../../../include/mba_utils/pair.h \
	$(PRJ_DIR)/../../../include/mba_utils/prime.h \
	$(PRJ_DIR)/../../../include/readers/clause.h \
	$(PRJ_DIR)/../../../include/readers/common.h \
	$(PRJ_DIR)/../../../include/readers/proposition.h \
	$(PRJ_DIR)/../../../include/readers/variable.h \
	$(PRJ_DIR)/../../../include/readers/enumeration.h \
	$(PRJ_DIR)/../../../include/readers/modes.h \
	$(PRJ_DIR)/../../../include/readers/varkind.h \
	$(PRJ_DIR)/../../../include/readers/L2_file.h \
	$(PRJ_DIR)/../../../include/readers/to_t_system.h \
	$(PRJ_DIR)/../../../include/readers/L2_file_writer.h \
	$(PRJ_DIR)/../../../include/transition/T_system.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict_db.h \
	$(PRJ_DIR)/../../../include/conflict_db/assumption.h \
	$(PRJ_DIR)/../../../include/conflict_db/dependent.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict.h \
	$(PRJ_DIR)/../../../include/conflict_db/command.h \
	$(PRJ_DIR)/../../../include/conflict_db/observable.h \
	$(PRJ_DIR)/../../../include/conflict_db/past_command.h \
	$(PRJ_DIR)/../../../include/conflict_db/state_variable.h \
	$(PRJ_DIR)/../../../include/conflict_db/transition.h \
	$(PRJ_DIR)/../../../include/tms/ltms.h \
	$(PRJ_DIR)/../../../include/tms/ptheory.h \
	$(PRJ_DIR)/../../../include/tms/clause.h \
	$(PRJ_DIR)/../../../include/tms/proposition.h \
	$(PRJ_DIR)/../../../include/transition/tracker.h \
	$(PRJ_DIR)/../../../include/conflict_db/candidate.h \
	$(PRJ_DIR)/../../../include/transition/termination.h
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/L2_string_map_listener.cpp_objects
L2_string_map_listener.o
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/L2_string_map_listener.cpp_tool
C/C++ compiler
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/T_system_debug.cpp_dependDone
TRUE
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/T_system_debug.cpp_dependencies
$(PRJ_DIR)/../../../include/debuggers/T_system_debug.h \
	$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
	$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
	$(PRJ_DIR)/../../../include/debuggers/conflict_db_debug.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict_db.h \
	$(PRJ_DIR)/../../../include/conflict_db/assumption.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist.h \
	$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
	$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
	$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignable.h \
	$(PRJ_DIR)/../../../include/conflict_db/variable.h \
	$(PRJ_DIR)/../../../include/tms/theory.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignment.h \
	$(PRJ_DIR)/../../../include/conflict_db/dependent.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict.h \
	$(PRJ_DIR)/../../../include/conflict_db/command.h \
	$(PRJ_DIR)/../../../include/conflict_db/observable.h \
	$(PRJ_DIR)/../../../include/conflict_db/past_command.h \
	$(PRJ_DIR)/../../../include/conflict_db/state_variable.h \
	$(PRJ_DIR)/../../../include/conflict_db/transition.h \
	$(PRJ_DIR)/../../../include/tms/ltms.h \
	$(PRJ_DIR)/../../../include/mba_utils/array.h \
	$(PRJ_DIR)/../../../include/tms/ptheory.h \
	$(PRJ_DIR)/../../../include/tms/clause.h \
	$(PRJ_DIR)/../../../include/tms/proposition.h \
	$(PRJ_DIR)/../../../include/debuggers/ltms_debug.h \
	$(PRJ_DIR)/../../../include/mba_utils/hash_table.h \
	$(PRJ_DIR)/../../../include/mba_utils/pair.h \
	$(PRJ_DIR)/../../../include/mba_utils/prime.h \
	$(PRJ_DIR)/../../../include/transition/T_system.h \
	$(PRJ_DIR)/../../../include/transition/transitioned.h \
	$(PRJ_DIR)/../../../include/debuggers/trajectory.h \
	$(PRJ_DIR)/../../../include/debuggers/L2_string_map.h \
	$(PRJ_DIR)/../../../include/conflict_db/candidate.h
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/T_system_debug.cpp_objects
T_system_debug.o
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/T_system_debug.cpp_tool
C/C++ compiler
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/conflict_db_debug.cpp_dependDone
TRUE
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/conflict_db_debug.cpp_dependencies
$(PRJ_DIR)/../../../include/debuggers/L2_string_map.h \
	$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
	$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
	$(PRJ_DIR)/../../../include/mba_utils/array.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
	$(PRJ_DIR)/../../../include/mba_utils/hash_table.h \
	$(PRJ_DIR)/../../../include/mba_utils/pair.h \
	$(PRJ_DIR)/../../../include/mba_utils/prime.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist.h \
	$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
	$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
	$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
	$(PRJ_DIR)/../../../include/debuggers/conflict_db_debug.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict_db.h \
	$(PRJ_DIR)/../../../include/conflict_db/assumption.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignable.h \
	$(PRJ_DIR)/../../../include/conflict_db/variable.h \
	$(PRJ_DIR)/../../../include/tms/theory.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignment.h \
	$(PRJ_DIR)/../../../include/conflict_db/dependent.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict.h \
	$(PRJ_DIR)/../../../include/conflict_db/command.h \
	$(PRJ_DIR)/../../../include/conflict_db/observable.h \
	$(PRJ_DIR)/../../../include/conflict_db/past_command.h \
	$(PRJ_DIR)/../../../include/conflict_db/state_variable.h \
	$(PRJ_DIR)/../../../include/conflict_db/transition.h \
	$(PRJ_DIR)/../../../include/tms/ltms.h \
	$(PRJ_DIR)/../../../include/tms/ptheory.h \
	$(PRJ_DIR)/../../../include/tms/clause.h \
	$(PRJ_DIR)/../../../include/tms/proposition.h \
	$(PRJ_DIR)/../../../include/debuggers/ltms_debug.h \
	$(PRJ_DIR)/../../../include/conflict_db/candidate.h \
	$(PRJ_DIR)/../../../include/debuggers/domain.h
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/conflict_db_debug.cpp_objects
conflict_db_debug.o
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/conflict_db_debug.cpp_tool
C/C++ compiler
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/domain.cpp_dependDone
TRUE
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/domain.cpp_dependencies
$(PRJ_DIR)/../../../include/debuggers/domain.h \
	$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
	$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
	$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
	$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
	$(PRJ_DIR)/../../../include/readers/enumeration.h \
	$(PRJ_DIR)/../../../include/readers/common.h \
	$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
	$(PRJ_DIR)/../../../include/readers/modes.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
	$(PRJ_DIR)/../../../include/readers/transition.h \
	$(PRJ_DIR)/../../../include/readers/variable.h \
	$(PRJ_DIR)/../../../include/readers/varkind.h \
	$(PRJ_DIR)/../../../include/readers/clause.h \
	$(PRJ_DIR)/../../../include/readers/proposition.h
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/domain.cpp_objects
domain.o
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/domain.cpp_tool
C/C++ compiler
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/livingstone_debug.cpp_dependDone
TRUE
<END>

<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/livingstone_debug.cpp_dependencies
$(PRJ_DIR)/../../../include/debuggers/livingstone_debug.h \
	$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
	$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
	$(PRJ_DIR)/../../../include/api/livingstone.h \
	$(PRJ_DIR)/../../../include/readers/livingstone_reader.h \
	$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
	$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist.h \
	$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
	$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
	$(PRJ_DIR)/../../../include/mba_utils/array.h \
	$(PRJ_DIR)/../../../include/mba_utils/hash_table.h \
	$(PRJ_DIR)/../../../include/mba_utils/pair.h \
	$(PRJ_DIR)/../../../include/mba_utils/prime.h \
	$(PRJ_DIR)/../../../include/transition/termination.h \
	$(PRJ_DIR)/../../../include/api/parameters.h \
	$(PRJ_DIR)/../../../include/mba_utils/array_dict.h \
	$(PRJ_DIR)/../../../include/debuggers/tracker_debug.h \
	$(PRJ_DIR)/../../../include/transition/tracker.h \
	$(PRJ_DIR)/../../../include/transition/T_system.h \
	$(PRJ_DIR)/../../../include/conflict_db/conflict_db.h \
	$(PRJ_DIR)/../../../include/conflict_db/assumption.h \
	$(PRJ_DIR)/../../../include/conflict_db/assignable.h \
	$(PRJ_DIR)/../../../include/conflict_db/variable.h \
	$(PRJ_DIR)/../../../include/tms/theory.h \
12345

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -