Is there option to increase the number of compilation errors, that are reported at the end of e compilation?
10 is too few for me
Asked
Active
Viewed 57 times
0
-
Which compiler / platform are you on? GNU e on Linux? – Scott 'scm6079' Jun 07 '15 at 07:17
-
@Scott'scm6079', according to the tag, it seems that the question is about the *e* verification language, and not about GNU E. – Yuri Tsoglin Jun 07 '15 at 20:32
1 Answers
1
Yes, Specman has a configuration flag for this. You can use:
set config misc -compilation_errors_num=new_number
The default value of this flag is 10, indeed.
Yuri Tsoglin
- 963
- 4
- 7