search

ahumenberger / Z3.jl

Julia interface to Z3
MIT License
57 stars 7 forks source link

ASSERTION VIOLATION #9

Closed Nosferican closed 9 months ago

Nosferican commented 4 years ago

Could there be a reason for https://github.com/Z3Prover/z3/issues/4728? Could we investigate something on the Julia side?

ahumenberger commented 4 years ago

Sorry for the delay. I was pretty busy the last few weeks. The issue Z3Prover/z3#4728 is closed, is this still relevant?

Nosferican commented 4 years ago

The issue was closed based on some assumptions that aren't warranted given the context. I can test it again this week and let you know.

remysucre commented 9 months ago

Closing as stale