()
| 178 | // / "Hello world" example: create a Z3 logical context, and delete it. |
| 179 | |
| 180 | public void simpleExample() |
| 181 | { |
| 182 | System.out.println("SimpleExample"); |
| 183 | Log.append("SimpleExample"); |
| 184 | |
| 185 | { |
| 186 | Context ctx = new Context(); |
| 187 | /* do something with the context */ |
| 188 | |
| 189 | /* be kind to dispose manually and not wait for the GC. */ |
| 190 | ctx.close(); |
| 191 | } |
| 192 | } |
| 193 | |
| 194 | Model check(Context ctx, BoolExpr f, Status sat) throws TestFailedException |
| 195 | { |