bmc_setup - Builds the model in a Boolean Epression format.


bmc_setup [-h]

You must call this command before use any other bmc-related command. Only one call per session is required.


Last updated on 2005/07/18 17h:00