This repository has been archived by the owner on Aug 19, 2024. It is now read-only.
Parse bitwuzla version number to provide appropriate command line args#721
Merged
ekiwi merged 1 commit intoucb-bar:mainfrom Gallagator:bitwuzla_version_supportFeb 26, 2024
+29-1
