Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
jniz3-scala-examples [2011/07/29 16:40] philippe.suter |
jniz3-scala-examples [2011/10/21 16:19] philippe.suter |
||
---|---|---|---|
Line 5: | Line 5: | ||
===== Testing your setup ===== | ===== Testing your setup ===== | ||
+ | |||
Line 16: | Line 17: | ||
it should print something like: | it should print something like: | ||
- | res0: String = Z3 2.19 (build 0, rev. 0), ScalaZ3 2.19 | + | res0: String = Z3 3.2 (build 0, rev. 0), ScalaZ3 3.2.b |
If you have an older version of Z3, go get the latest. | If you have an older version of Z3, go get the latest. |