summaryrefslogtreecommitdiff
path: root/BCT/RegressionTests/TranslationTest
diff options
context:
space:
mode:
authorGravatar Mike Barnett <mbarnett@microsoft.com>2011-08-04 15:58:22 -0700
committerGravatar Mike Barnett <mbarnett@microsoft.com>2011-08-04 15:58:22 -0700
commit77be9230424c612d445152e7b2067652521afcb5 (patch)
treea996172bbbd8effb0d50d5b41bc93f56dc55575a /BCT/RegressionTests/TranslationTest
parent0447fc2f8fd68426766d3f339f7744f6353eb17f (diff)
Added new option /captureState (/c) for generating a capture state assumption
after each statement.
Diffstat (limited to 'BCT/RegressionTests/TranslationTest')
-rw-r--r--BCT/RegressionTests/TranslationTest/UnitTest0.cs2
1 files changed, 1 insertions, 1 deletions
diff --git a/BCT/RegressionTests/TranslationTest/UnitTest0.cs b/BCT/RegressionTests/TranslationTest/UnitTest0.cs
index e3da57b5..a8b5fdb2 100644
--- a/BCT/RegressionTests/TranslationTest/UnitTest0.cs
+++ b/BCT/RegressionTests/TranslationTest/UnitTest0.cs
@@ -61,7 +61,7 @@ namespace TranslationTest {
#endregion
private string ExecuteTest(string assemblyName, HeapFactory heapFactory) {
- BCT.TranslateAssembly(new List<string>{assemblyName}, heapFactory, null, null, false);
+ BCT.TranslateAssembly(new List<string>{assemblyName}, heapFactory, new Options(), null, false);
var fileName = Path.ChangeExtension(assemblyName, "bpl");
var s = File.ReadAllText(fileName);
return s;