cryptol-remote-api
: Don't use verbose SBV settings
#1379
+1
−1
Merged