forked from au-ts/cogent
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathregression.dtd
31 lines (24 loc) · 911 Bytes
/
regression.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
<!--
Copyright 2014, NICTA
This software may be distributed and modified according to the terms of
the BSD 2-Clause license. Note that NO WARRANTY is provided.
See "LICENSE_BSD2.txt" for details.
@TAG(NICTA_BSD)
-->
<!ELEMENT testsuite (set|sequence|test)+>
<!ATTLIST testsuite cwd CDATA #IMPLIED>
<!ATTLIST testsuite timeout CDATA #IMPLIED>
<!ATTLIST testsuite depends NMTOKENS #IMPLIED>
<!ELEMENT set (set|sequence|test)+>
<!ATTLIST set cwd CDATA #IMPLIED>
<!ATTLIST set timeout CDATA #IMPLIED>
<!ATTLIST set depends NMTOKENS #IMPLIED>
<!ELEMENT sequence (set|sequence|test)+>
<!ATTLIST sequence cwd CDATA #IMPLIED>
<!ATTLIST sequence timeout CDATA #IMPLIED>
<!ATTLIST sequence depends NMTOKENS #IMPLIED>
<!ELEMENT test ANY>
<!ATTLIST test name ID #REQUIRED>
<!ATTLIST test cwd CDATA #IMPLIED>
<!ATTLIST test timeout CDATA #IMPLIED>
<!ATTLIST test depends NMTOKENS #IMPLIED>