Displayed Sourcefile
{{if sourcefilecontents}}
{{for i, content in enumerate(sourcefilecontents)}}
{{for loop, line in looper(content.splitlines())}}
{{loop.index}} | {{line}} |
{{endfor}}
{{endfor}}
{{else}}
Source code not available.
{{endif}}
{{logfile or 'Logfile not available.'}}
{{statistics or 'Statistics not available.'}}
{{conffile or 'CPAchecker configuration not available.'}}