MTT command:
mtt aRC struc tex
List of inputs for system aRC | |||
---|---|---|---|
1 | e1 | aRC__e1 | 1 |
List of outputs for system aRC | |||
---|---|---|---|
1 | e2 | aRC__e2 | 1 |
List of states for system aRC | |||
---|---|---|---|
1 | c | aRC__c | 1 |
List of unknown_inputs for system aRC | |||
---|---|---|---|
1 | loop | aRC__loop | 1 |
List of zero_outputs for system aRC | |||
---|---|---|---|
1 | loop | aRC__loop | 1 |