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