diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-02-05 09:08:19 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-02-05 09:08:19 -0800 |
| commit | d1e312cfe865bd7c167dff473f508f739d5ddc3b (patch) | |
| tree | b2ec78178e0892224ca11c6a57585909ed4293ca /src/proof/clausal_bitvector_proof.h | |
| parent | ac1d170fa6c287614ffcadc5e27f136cee593664 (diff) | |
Make stripConstantEndpoints() less aggressive
`stripConstantEndpoints({ "A" }, { "A". (int.to.str n) }, {}, {}, 0)`
was cutting off "A" because it is a non-digit. This is wrong, however,
because `(int.to.str n)` can return the empty string. This commit
makes `stripConstantEndpoints()` less aggressive by not using
`str.to.int` terms to cut off non-digits anymore.
Diffstat (limited to 'src/proof/clausal_bitvector_proof.h')
0 files changed, 0 insertions, 0 deletions