This section defines the basic tests used to provide evidence that
the implementation of some of the procedure options in the
Abaqus
procedures library produces the expected results. Some of these tests also
verify the capability to extract output from the restart
(.res) file and to write new results to output files using
a postprocessing analysis procedure—see the problem descriptions for details.