coverules:由 menhir 生成的自动机的解析器覆盖报告器的早期草案

覆盖物 测试您的程序执行的语法覆盖率。 如何使用覆盖物？ 使用转储和跟踪选项编译 menhir --dump --trace parser.mly --trace选项将在程序执行时在 stderr 上打印调试信息。 --dump选项生成parser.automaton文件，这是coverules所需要的。 生成跟踪 在文件中记录执行跟踪。 您可以在不同的文件中记录多个跟踪或将它们附加到一个文件中。 ./prog 2> prog.trace 查看规则覆盖范围 通过跟踪（S）文件（县） coverules作为命令行参数，并发送parser.automaton文件上的标准输入。 $ coverules trace < parser.automaton 9/83 automaton transitions visited.