Skip to content

Mozes-Y/minisat_test_script

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 
 
 
 
 
 
 

Repository files navigation

1. 如何运行测试程序

只需要在Linux系统进入当前测试脚本所在的目录,并且运行以下命令即可

./run_test.sh

接下来脚本会删除已经存在的测试结果文件,然后输入y脚本会自动运行所有测试集中的测试项,并将结果输出到result_*.txt文件中

2. 如何查看测试结果

测试脚本运行完成后会在当前目录生成一个对应测试集的测试结果文件,文件名为result_测试集名.txt,例如result_uf50-218.txt 每个测试项通过", "即一个逗号和一个空格分隔,只需将文件全选并复制到excel中即可,然后按照逗号分隔符进行分列

3. 如何添加测试集

只需将测试集文件夹添加到当前的测试脚本所在目录当中,并且在run_test.sh以及file_process.sh中添加相应的测试集名称即可 例如需要添加uf50-218的测试集,则需要将uf50-218文件夹放到当前目录,并且在run_test.sh以及file_process.sh中添加uf50-218的测试集名称

测试集名称需添加到shell脚本的TEST_CASES变量中 例如TEST_CASES=("uf50-218" "uf100-430" "uf200-860" "uuf50-218" "uf250-1065" "uuf250-1065") 需注意测试集中的测试文件名需以.cnf结尾

4. 添加测试集之后如何运行测试脚本

在当前目录运行以下命令即可

./file_process.sh
./run_test.sh

About

shell script for minisat test

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages