search

VeriFIT / z3-noodler

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

Small refactoring in final_check #172

Closed jurajsic closed 2 weeks ago

jurajsic commented 2 weeks ago

There is no impact on the results.