blob: 68b85061184c79aecd389a4b6f367ec0695e52de [file] [log] [blame] [edit]
<!--
Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
SPDX-License-Identifier: BSD-2-Clause
-->
A collection of scripts for parsing the benchmarking output of sel4test