Name | Date | Size | ||
---|---|---|---|---|
.. | 22-Sep-2019 | 6 | ||
clean-log.sh | H A D | 25-Jul-2019 | 377 | |
coverage.py | H A D | 25-Jul-2019 | 7.1 KiB | |
csvify.sh | H A D | 25-Jul-2019 | 394 | |
filter-results.py | H A D | 25-Jul-2019 | 4.3 KiB | |
generate-csv.pl | H A D | 25-Jul-2019 | 1.6 KiB | |
generate-spread.pl | H A D | 25-Jul-2019 | 1.8 KiB | |
match-data.pl | H A D | 25-Jul-2019 | 2.7 KiB | |
parselog.sh | H A D | 25-Jul-2019 | 397 | |
README | H A D | 25-Jul-2019 | 396 |
README
1<!-- 2 Copyright 2017, Data61 3 Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4 ABN 41 687 119 230. 5 6 This software may be distributed and modified according to the terms of 7 the BSD 2-Clause license. Note that NO WARRANTY is provided. 8 See "LICENSE_BSD2.txt" for details. 9 10 @TAG(DATA61_BSD) 11--> 12 13 A collection of scripts for parsing the benchmarking output of sel4test 14