smt2: fix bitwuzla invocation #4589
+10
−1
Open
This job succeeded
Loading