ScalaZ3

ScalaZ3 copied to clipboard

> The `z3JarFile` is just a string, and if the Z3 project wasn't compiled yet, `unamangedJars` will contain the right path to `com.microsoft.z3.jar` but the file won't be there, and...

romac

GC cannot collect unused AST nodes/Z3Object instances

2

Hello, as far as I can tell, the garbage collector can only collect AST nodes, when the corresponding Context is deleted. This seams to be true for other Z3Object subclasses...

mtappler

`QuickPA` test fails with Z3 >= 4.0

1

We should check whether something changed in the interface for theory plugins. Note that the [BAPA plugin](https://github.com/psuter/bapa-z3) appears to work fine (Linux 32bit).

psuter