%%
%% 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'.
