`cryptol-remote-api`: Don't use verbose SBV settings#1379

Merged

RyanGlScott merged 1 commit intomasterfrom T1378

Jul 8, 2022

+1-1

Commits on Jul 8, 2022

cryptol-remote-api: Don't use verbose SBV settings
RyanGlScott
committed