{{# 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}}