e编译错误的数量

时间:2015-06-07 07:14:10

标签: compiler-errors e

是否有选项可以增加编译错误的数量,这些错误是在 e 编译结束时报告的? 10对我来说太少了

谢谢!

1 个答案:

答案 0 :(得分:1)

是的,Specman有一个配置标志。您可以使用:

  

set config misc -compilation_errors_num = new_number

这个标志的默认值确实是10。