Martin Tappler issues

Repositories
Issues
Comments

Results 2 issues of


                                            Martin Tappler

Single-level wildcards match more than one level

This issue is related to issue #41. There is another problem, which existed before and which persists with the fix of issue #41. The single-level wildcards denoted by + should...

GC cannot collect unused AST nodes/Z3Object instances

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...