mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

bugfix in .NET example

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2013-06-14 13:18:33 +01:00
parent a26b51c7f3
commit f50016d8a1
1 changed files with 24 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

48
examples/dotnet/Program.cs
View file

@ -2088,30 +2088,30 @@ namespace test_mapi
// These examples need model generation turned on. // These examples need model generation turned on.
using (Context ctx = new Context(new Dictionary<string, string>() { { "model", "true" } })) using (Context ctx = new Context(new Dictionary<string, string>() { { "model", "true" } }))
{ {
//BasicTests(ctx); BasicTests(ctx);
//CastingTest(ctx); CastingTest(ctx);
//SudokuExample(ctx); SudokuExample(ctx);
//QuantifierExample1(ctx); QuantifierExample1(ctx);
//QuantifierExample2(ctx); QuantifierExample2(ctx);
//LogicExample(ctx); LogicExample(ctx);
//ParOrExample(ctx); ParOrExample(ctx);
//FindModelExample1(ctx); FindModelExample1(ctx);
//FindModelExample2(ctx); FindModelExample2(ctx);
//PushPopExample1(ctx); PushPopExample1(ctx);
//ArrayExample1(ctx); ArrayExample1(ctx);
//ArrayExample3(ctx); ArrayExample3(ctx);
//BitvectorExample1(ctx); BitvectorExample1(ctx);
//BitvectorExample2(ctx); BitvectorExample2(ctx);
//ParserExample1(ctx); ParserExample1(ctx);
//ParserExample2(ctx); ParserExample2(ctx);
//ParserExample4(ctx); ParserExample4(ctx);
//ParserExample5(ctx); ParserExample5(ctx);
//ITEExample(ctx); ITEExample(ctx);
//EvalExample1(ctx); EvalExample1(ctx);
//EvalExample2(ctx); EvalExample2(ctx);
//FindSmallModelExample(ctx); FindSmallModelExample(ctx);
//SimplifierExample(ctx); SimplifierExample(ctx);
//FiniteDomainExample(ctx); FiniteDomainExample(ctx);
FloatingPointExample(ctx); FloatingPointExample(ctx);
} }