Skip to content

Commit 9b11c40

Browse files
akashlalakashlal
committed
Removed AbsHoudini
1 parent 0ce3701 commit 9b11c40

File tree

4 files changed

+41
-361
lines changed

4 files changed

+41
-361
lines changed

‎cba.sln‎

Lines changed: 0 additions & 50 deletions
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,6 @@ Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "BctCleanup", "source\BctCle
1717
EndProject
1818
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "ExplainError", "source\ExplainError\ExplainError.csproj", "{2417259E-803F-4017-A3B4-5F3C87470D2E}"
1919
EndProject
20-
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "ConcurrentHoudini", "source\ConcurrentHoudini\ConcurrentHoudini.csproj", "{529AC312-BB91-4154-8BA3-7CA8743E0434}"
21-
EndProject
2220
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "HoudiniLite", "source\HoudiniLite\HoudiniLite.csproj", "{B5007B19-6D3A-4746-B5FF-B60F679C8A01}"
2321
EndProject
2422
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "boogie", "boogie", "{247E7FAB-27D9-4AE7-9240-C421725A9B8A}"
@@ -418,54 +416,6 @@ Global
418416
{2417259E-803F-4017-A3B4-5F3C87470D2E}.z3apidebug|Mixed Platforms.Build.0 = Release|Any CPU
419417
{2417259E-803F-4017-A3B4-5F3C87470D2E}.z3apidebug|x86.ActiveCfg = Release|Any CPU
420418
{2417259E-803F-4017-A3B4-5F3C87470D2E}.z3apidebug|x86.Build.0 = Release|Any CPU
421-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Checked|.NET.ActiveCfg = Release|x86
422-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Checked|.NET.Build.0 = Release|x86
423-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Checked|Any CPU.ActiveCfg = Release|x86
424-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Checked|Any CPU.Build.0 = Release|x86
425-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Checked|Mixed Platforms.ActiveCfg = Release|x86
426-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Checked|Mixed Platforms.Build.0 = Release|x86
427-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Checked|x86.ActiveCfg = Release|x86
428-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Checked|x86.Build.0 = Release|x86
429-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Debug|.NET.ActiveCfg = Debug|x86
430-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Debug|Any CPU.ActiveCfg = Debug|x86
431-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Debug|Mixed Platforms.ActiveCfg = Debug|x86
432-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Debug|Mixed Platforms.Build.0 = Debug|x86
433-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Debug|x86.ActiveCfg = Debug|x86
434-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Debug|x86.Build.0 = Debug|x86
435-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.HWSW|.NET.ActiveCfg = Release|x86
436-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.HWSW|Any CPU.ActiveCfg = Release|x86
437-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.HWSW|Mixed Platforms.ActiveCfg = Release|x86
438-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.HWSW|Mixed Platforms.Build.0 = Release|x86
439-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.HWSW|x86.ActiveCfg = Release|x86
440-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.HWSW|x86.Build.0 = Release|x86
441-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Internal|.NET.ActiveCfg = Release|x86
442-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Internal|Any CPU.ActiveCfg = Release|x86
443-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Internal|Mixed Platforms.ActiveCfg = Release|x86
444-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Internal|Mixed Platforms.Build.0 = Release|x86
445-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Internal|x86.ActiveCfg = Release|x86
446-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Internal|x86.Build.0 = Release|x86
447-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.QED|.NET.ActiveCfg = Release|x86
448-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.QED|.NET.Build.0 = Release|x86
449-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.QED|Any CPU.ActiveCfg = Release|x86
450-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.QED|Any CPU.Build.0 = Release|x86
451-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.QED|Mixed Platforms.ActiveCfg = Release|x86
452-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.QED|Mixed Platforms.Build.0 = Release|x86
453-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.QED|x86.ActiveCfg = Release|x86
454-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.QED|x86.Build.0 = Release|x86
455-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Release|.NET.ActiveCfg = Release|x86
456-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Release|Any CPU.ActiveCfg = Release|x86
457-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Release|Mixed Platforms.ActiveCfg = Release|x86
458-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Release|Mixed Platforms.Build.0 = Release|x86
459-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Release|x86.ActiveCfg = Release|x86
460-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.Release|x86.Build.0 = Release|x86
461-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.z3apidebug|.NET.ActiveCfg = Release|x86
462-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.z3apidebug|.NET.Build.0 = Release|x86
463-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.z3apidebug|Any CPU.ActiveCfg = Release|x86
464-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.z3apidebug|Any CPU.Build.0 = Release|x86
465-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.z3apidebug|Mixed Platforms.ActiveCfg = Release|x86
466-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.z3apidebug|Mixed Platforms.Build.0 = Release|x86
467-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.z3apidebug|x86.ActiveCfg = Release|x86
468-
{529AC312-BB91-4154-8BA3-7CA8743E0434}.z3apidebug|x86.Build.0 = Release|x86
469419
{B5007B19-6D3A-4746-B5FF-B60F679C8A01}.Checked|.NET.ActiveCfg = Release|Any CPU
470420
{B5007B19-6D3A-4746-B5FF-B60F679C8A01}.Checked|.NET.Build.0 = Release|Any CPU
471421
{B5007B19-6D3A-4746-B5FF-B60F679C8A01}.Checked|Any CPU.ActiveCfg = Release|Any CPU

‎source/Configs.cs‎

Lines changed: 0 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -100,7 +100,6 @@ public void printLanguageSemantics()
100100
public bool sdvInstrumentAssert { get; private set; }
101101

102102
public int runHoudini { get; private set; }
103-
public string runAbsHoudini { get; private set; }
104103
public bool runHoudiniLite { get; private set; }
105104

106105
public bool summaryComputation { get; private set; }
@@ -295,7 +294,6 @@ private Configs()
295294
sdvInstrumentAssert = false;
296295

297296
runHoudini = -2;
298-
runAbsHoudini = null;
299297
runHoudiniLite = false;
300298
summaryComputation = false;
301299

@@ -442,10 +440,6 @@ private void parseFlag(string flag)
442440
{
443441
unifyMaps = true;
444442
}
445-
else if (flag == "/trainSummaries")
446-
{
447-
trainSummaries = true;
448-
}
449443
else if (flag.StartsWith("/set"))
450444
{
451445
var split = flag.Split(sep);
@@ -591,11 +585,6 @@ private void parseFlag(string flag)
591585
{
592586
runHoudiniLite = true;
593587
}
594-
else if (flag.StartsWith("/runAbsHoudini:"))
595-
{
596-
var split = flag.Split(sep);
597-
runAbsHoudini = split[1];
598-
}
599588
else if (flag == "/computeSummary")
600589
{
601590
runHoudini = -2;

0 commit comments

Comments
 (0)