Check that we are able to solve `re.replace`

VeriFIT / z3-noodler

The Z3-Noodler String Solver

Other

11 stars 5 forks source link

Check that we are able to solve `re.replace` #21

Closed Adda0 closed 1 year ago

Adda0 commented 1 year ago

In Slog benchmarks, there are instances using re.replace. In theory, we should be able to solve those, but we need to test that it is truth in praxis.

For example, see QF_S/2019-Jiang/slog/slog_stranger_56_sink.smt2.

Adda0 commented 1 year ago

We are able to solve re.replace, but not re.replaceall as of now.