diff options
| author |  wuestholz <unknown> | 2013-07-01 15:27:04 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-01 15:27:04 -0700 |
| commit | 05b54e91825042b3051509f12ff6fec959ea6b39 (patch) | |
| tree | 250f5007a31947cc451767312ac4d19f91132ff8 /Source/VCGeneration/FixedpointVC.cs | |
| parent | d90e6dd36f8d99789780ee1b0422ff66175ff248 (diff) | |
Did some refactoring in the execution engine and worked on the parallelization.
Diffstat (limited to 'Source/VCGeneration/FixedpointVC.cs')
| -rw-r--r-- | Source/VCGeneration/FixedpointVC.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/VCGeneration/FixedpointVC.cs b/Source/VCGeneration/FixedpointVC.cs index 19feabe9..3299ef76 100644 --- a/Source/VCGeneration/FixedpointVC.cs +++ b/Source/VCGeneration/FixedpointVC.cs @@ -78,8 +78,8 @@ namespace Microsoft.Boogie private static Checker old_checker = null;
- public FixedpointVC( Program _program, string/*?*/ logFilePath, bool appendLogFile)
- : base(_program, logFilePath, appendLogFile)
+ public FixedpointVC( Program _program, string/*?*/ logFilePath, bool appendLogFile, List<Checker> checkers)
+ : base(_program, logFilePath, appendLogFile, checkers)
{
switch (CommandLineOptions.Clo.FixedPointMode)
{
|