Number of processors:(A positive integer)
Maximum faults:(A non-negative integer)
Max clock deviation:(A non-negative integer)
Point to point delay:(A positive integer)
Simulation time:(A positive integer)
Max messages:(A positive integer)
User Manual
Source Code
Report