{{# SPDX-License-Identifier: Apache-2.0
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) Dirk Beyer. All rights reserved.
}}
{{title}} – BenchExec results
{{for file_content in app_css}}
{{endfor}}
{{for file_content in app_js}}
{{endfor}}