/IMPL/CHECK

Engine Keyword Implicit model checking will be run.

Format

/IMPL/CHECK

Comments

  1. When this key is used, only checking is carried out in actual run, all other types of analysis will be ignored.