[Next][Prev] [Right] [Left] [Up] [Index] [Root]
Overwrite: BoolElt Default: false
Set the log file to be the file specified by the string F: all
input and output will be sent to this log file as well as to the terminal.
If a log file is already in use, it is closed and F is used instead.
By using SetLogFile(F: Overwrite := true)
the file F is emptied before input and output are written onto it.
See also HasOutputFile.
Stop logging Magma's output.
Set to true or false according to whether or not input
from external files should also be sent to standard output.
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
Version: V2.19 of
Wed Apr 24 15:09:57 EST 2013