%% %% This is file `bpfats7.tex', %% generated with the docstrip utility. %% %% The original source files were: %% %% stepe.dtx (with options: `bpfats7') %% %% 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{bpfats7.tex}[2001/07/16 ATS general verdict criteria boilerplate] \typeout{bpfats7.tex [2001/07/16 ATS general verdict criteria boilerplate]} The following verdict criteria apply to all abstract test cases contained in this part of ISO 10303: gvc1 The semantics of the input model are preserved in the output of the IUT according to the reference paths specified in the mapping \maptableorspec{} defined in ISO 10303-\theAPpartno, clause 5 (g1). \par \endinput %% %% End of file `bpfats7.tex'.