Closed marcoeilers closed 6 years ago
There is one test case that fails (top_level_vs_builtin) in the sense that we should get unsat but we don't, because of some scoping issue. Examples and tests work and are reasonably fast.
There is one test case that fails (top_level_vs_builtin) in the sense that we should get unsat but we don't, because of some scoping issue. Examples and tests work and are reasonably fast.