36
36
Once the results are computed, you can either:
37
37
- run `make viewres` to view all the bug reports
38
38
- run `make viewlog` to view the complete execution trace
40
40
Note that this filter will remove some error messages about
41
41
timeout, parsing ... Check Makefile to see the exact list.