forked from sosy-lab/benchexec
-
Notifications
You must be signed in to change notification settings - Fork 0
/
benchmark.dtd
50 lines (39 loc) · 1.68 KB
/
benchmark.dtd
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
<!--
This file is part of BenchExec, a framework for reliable benchmarking:
https://github.com/sosy-lab/benchexec
SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
SPDX-License-Identifier: Apache-2.0
-->
<!ELEMENT benchmark ((rundefinition | option | propertyfile | tasks | requiredfiles | resultfiles | require )*, columns?)>
<!ELEMENT rundefinition (tasks | option | propertyfile | requiredfiles)*>
<!ELEMENT tasks (include | includesfile | exclude | excludesfile | append | withoutfile | option | propertyfile | requiredfiles)*>
<!ELEMENT include (#PCDATA)>
<!ELEMENT includesfile (#PCDATA)>
<!ELEMENT exclude (#PCDATA)>
<!ELEMENT excludesfile (#PCDATA)>
<!ELEMENT withoutfile (#PCDATA)>
<!ELEMENT append (#PCDATA)>
<!ELEMENT requiredfiles (#PCDATA)>
<!ELEMENT resultfiles (#PCDATA)>
<!ELEMENT require (#PCDATA)>
<!ELEMENT option (#PCDATA)>
<!ELEMENT propertyfile (#PCDATA)>
<!ELEMENT columns (column*)>
<!ELEMENT column (#PCDATA)>
<!ATTLIST rundefinition name CDATA #IMPLIED>
<!ATTLIST benchmark tool CDATA #REQUIRED>
<!ATTLIST benchmark displayName CDATA #IMPLIED>
<!ATTLIST benchmark memlimit CDATA #IMPLIED>
<!ATTLIST benchmark timelimit CDATA #IMPLIED>
<!ATTLIST benchmark walltimelimit CDATA #IMPLIED>
<!ATTLIST benchmark hardtimelimit CDATA #IMPLIED>
<!ATTLIST benchmark cpuCores CDATA #IMPLIED>
<!ATTLIST benchmark threads CDATA #IMPLIED>
<!ATTLIST tasks name CDATA #IMPLIED>
<!ATTLIST require cpuModel CDATA #IMPLIED>
<!ATTLIST require cpuCores CDATA "1">
<!ATTLIST require memory CDATA "1">
<!ATTLIST option name CDATA #REQUIRED>
<!ATTLIST propertyfile expectedverdict CDATA #IMPLIED>
<!ATTLIST column title CDATA #IMPLIED
numberOfDigits CDATA #IMPLIED>