文件名称：Mercury Test Framework-开源
文件大小：608KB
文件格式：ZIP
更新时间：2024-05-14 19:31:36
开源软件
针对Mercury语言的测试自动化框架。 在比利时那慕尔大学开发。
【文件预览】：
mercurytest
----coverage_stat(407KB)
----list_utils.m(7KB)
----test.sh(2KB)
----inst_utils.m(14KB)
----code_utils.m(5KB)
----map_utils.m(3KB)
----test_io_debug.sh(2KB)
----renaming_transform.m(14KB)
----cov_stat.m(9KB)
----Mmakefile(49B)
----matrix_utils.m(3KB)
----coverage_transform.m(16KB)
----disjunction_transform.m(48KB)
----coverage_process(872KB)
----transform_template.m(6KB)
----COPYING(18KB)
----mode_directive_move.m(4KB)
----module_rename.m(12KB)
----int_utils.m(1KB)
----term_io_utils.m(10KB)
----true_filter.m(6KB)
----testcase_transform.m(39KB)
----multimode_transform.m(15KB)
----COPYING.LESSER(26KB)
----coverage_code_print_html.m(13KB)
----coverage_stat.m(7KB)
----directive_copy.m(8KB)
----coverage_process.m(6KB)
----pretty_print.m(6KB)
----testcase_transform(490KB)
----readme.txt(8KB)
----coverage_block_utils.m(2KB)
----test_io.sh(2KB)
----pred_func_directive_split.m(5KB)
----typeinfo_remove.m(21KB)
----coverage.m(10KB)
----coverage.css(289B)
----test_debug.sh(2KB)
----labelled_code_print.m(8KB)