Verifier dia (command)

File: verifier_dia

Description: Builds verifiers and tests diagnosability of an FSM

Input:   H.fsm - Input FSM


 * H.ft - Failure Partition for building diagnoser of H.fsm

Output: outN-ver.fsm - the verifier for failure type N


 * outN-fc.fsm - the verifier with only the f-confused states


 * out.vcycles - lists the f-confused cycles in the verifier