Change solver to bitwuzla

UnitTestBot / UTBotCpp

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

Apache License 2.0

158 stars 27 forks source link

Open ladisgin opened 8 months ago