Dmitriy Sokolov comments

Repositories
Issues
Comments

Results 1 comments of


                                            Dmitriy Sokolov

Bitwuzla update to 0.2.0-dev

It's possible to delete the patch [win_bv_gmp_long_patch.patch](https://github.com/UnitTestBot/ksmt/blob/34b4fde0928d33c852f52950d75307fe1a2b14ca/ksmt-bitwuzla/bindings-native/win_bv_gmp_long_patch.patch) due to [the bug fix](https://github.com/bitwuzla/bitwuzla/issues/85) in bitwuzla repository