Click or drag to resize
FermionRun Method (DictionaryString, String, String)
Runs a Fermion test from a .dat file, based on a script A basic axecution trace is sent to both the console and the log. Detailed information is sent just sent to the log. See the Users Manual for details on the parameters.

Namespace: Microsoft.Research.Liquid
Assembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntax
F#
Copy
static member Run : 
        dic : Dictionary<string, string> * 
        dataFile : string -> unit

Parameters

dic
Type: System.Collections.GenericDictionaryString, String
A dictionary of options. See the Remarks for details.
dataFile
Type: SystemString
A relative or full path to the .dat file to load.
Remarks
The possible options to specify in the dictionary are: ... For more information, see the Users Manual.
See Also