Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
cryptol-remote-api: Don't use verbose SBV settings (#1379)
We should try to match Cryptol's default settings when invoking the remote API, but the `pcVerbose` value (`True`) didn't match the defaults. Changing this to `False` should fix #1378. There is a separate question of whether remote API users should be able to change this default, but for the time being, let's at least be consistent between Cryptol's settings and the remote API's settings.
- Loading branch information