search

VeriFIT / z3-noodler

The Z3-Noodler String Solver
Other
9 stars 5 forks source link

Conversion: fixing #178

Closed vhavlena closed 1 month ago

vhavlena commented 1 month ago

@jurajsic is this PR somehow ready?

jurajsic commented 1 month ago

I tried to add some stuff for internalizing lengths to fix the segfault in #175, it did not work, so I reverted it. I also added some comment, check it, if it is ok we can merge and try to fix the segfault later, this at least fixes the incorrect sat result from #175.