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: