blob: 71cecd2811830cf391f4a3c6a1c55dc8a646b450 (
plain)
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
|
%%
%% This is file `bpfats8.tex',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% stepe.dtx (with options: `bpfats8')
%%
%% This work has been partially funded by the US government
%% and is not subject to copyright.
%%
%% This program is provided under the terms of the
%% LaTeX Project Public License distributed from CTAN
%% archives in directory macros/latex/base/lppl.txt.
%%
%% Author: Peter Wilson (CUA and NIST)
%% now at: peter.r.wilson@boeing.com
%%
\ProvidesFile{bpfats8.tex}[2001/07/16 ATS general verdict pre boilerplate]
\typeout{bpfats8.tex [2001/07/16 ATS general verdict pre boilerplate]}
The following verdict criteria apply to all preprocessor
abstract test cases contained in this part of ISO 10303:
gvc2 The output of a preprocessor conforms
to the implementation method to which the IUT claims conformance (g2).
gvc3 The instances in the output of a preprocessor are encoded according
to the AIM \Express{} long form and mapping \maptableorspec{}
defined in ISO 10303-\theAPpartno, annex A and 5.1 (g3).
\par
\endinput
%%
%% End of file `bpfats8.tex'.
|
