A note concerning proof processor animation with SIMAN
Roger McHaney, Doug White · ACM SIGSIM Simulation Digest · 1995
The purpose of this note is to clarify statements made about Proof Animation's built-in drawing tool and its potential to recreate complex systems' layouts. The article, Proof Processor Animation With SIMAN (McHaney and White, 1994), was in no way meant to disparage Proof Animation or its capabilities. Several references to difficulty in development of a 'high-quality' animation layout failed to mention the development for this project was undertaken using the student edition of Proof. The student edition has been provided by Wolverine Software Corporation as an educational and instructional tool. It is in no way intended to facilitate complicated development efforts. In order to make the student edition of Proof more affordable, several features found in the full version have been left out. These include (Wolverine Software Corporation, 1992, p. 11):1) Animation Trace File Limited to 1250 Lines2) Layout Files Larger than 12500 Bytes Cannot Be Read3) Execution Stops after 2 Minutes