文件名称:LLVM-Mutate-Passes
文件大小:698KB
文件格式:ZIP
更新时间:2024-05-03 09:35:13
C
如何使用包装程序脚本生成mutatns并针对测试套件进行测试:预期用法:python3 mutateWrapper.py必须是llvm操作码<category必须是以下之一:“ binop”,“ icmp”示例用法:python3 mutateWrapper。 py exampleprograms / patchedDigit.c数字添加binop示例用法:python3 mutateWrapper.py exampleprograms / patchedDigit.c数字icmp icmp 要添加新的测试套件,请执行以下操作:使用名为{marker}的新标记编辑pytest.ini文件,然后创建名为“ test_ {filename} .py”的pytest文件,并使用@ pytest.mark标记测试功能。{marker} 。 然后测试:python3 -m pytest --fi