From 3ba2aa2672f5ab6e5f7d665675a4de32fef6981d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 20 Oct 2018 14:01:43 -0700
Subject: [PATCH] regressions in examples/dotnet/Program.cs
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
examples/dotnet/Program.cs | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/examples/dotnet/Program.cs b/examples/dotnet/Program.cs
index 230aacf6f..b6f6e8038 100644
--- a/examples/dotnet/Program.cs
+++ b/examples/dotnet/Program.cs
@@ -363,10 +363,10 @@ namespace test_mapi
Console.WriteLine("Model = " + s.Model);
- Console.WriteLine("Interpretation of MyArray:\n" + s.Model.FuncInterp(aex.FuncDecl));
+ //Console.WriteLine("Interpretation of MyArray:\n" + s.Model.ConstInterp(aex.FuncDecl));
Console.WriteLine("Interpretation of x:\n" + s.Model.ConstInterp(xc));
Console.WriteLine("Interpretation of f:\n" + s.Model.FuncInterp(fd));
- Console.WriteLine("Interpretation of MyArray as Term:\n" + s.Model.FuncInterp(aex.FuncDecl));
+ //Console.WriteLine("Interpretation of MyArray as Term:\n" + s.Model.ConstInterp(aex.FuncDecl));
}
/// <summary>
@@ -2103,7 +2103,7 @@ namespace test_mapi
if (s.Check() != Status.SATISFIABLE)
throw new TestFailedException();
- Console.WriteLine("OK, model: {0}", s.Model.ToString());
+ // Console.WriteLine("OK, model: {0}", s.Model.ToString());
}