Specman code to open a file passed to the e program from the command line, and allowing for the possible use of a default file name, would look something like this:
The command line would then be one of the following:
- To use the default file name:
- To explicitly specify the input file name.
If the e code was compiled, the command line would be:
One could also run this code as part of a full simulation environment, in which case the command line would be: