The following bugs are present in the version of Spin currently installed in the lab. They will probably be removed soon.

• Any attempt of verification results in an error:

  Invalid command name .f.fVp.top.right.row0.ent

  The error disappears if the menu Advanced: parameters is open (click the right Show button in the top-right corner of the iSpin window)
• The Save button does not save the file properly, i.e., verification/simulation is still performed on the previous version. To avoid this, always do Syntax check before simulating/verifying a modified file.
• After a failed verification, the error trail is not saved on disk. To avoid this problem, in the Advanced: Error trapping menu (click the left Show button in the top-right corner of the iSpin window) check the option save all error trails. Many error trails will usually be saved on disk, but many is better than zero!