GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-17 17:09:35 +03:00
Code Issues Projects Releases Wiki Activity

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

Browse Source 
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.
This commit is contained in:
Ryan Scott 2022-07-08 16:56:18 -04:00 committed by GitHub
parent c6a795c2d2
commit 69f07cc4e3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol-remote-api/src/CryptolServer/Sat.hs
View File

@ -67,7 +67,7 @@ proveSat (ProveSatParams queryType (ProverName proverName) jsonExpr hConsing) =
ProverCommand
{ pcQueryType = queryType
, pcProverName = proverName
, pcVerbose = True
, pcVerbose = False
, pcProverStats = timing
, pcExtraDecls = decls
, pcSmtFile = Nothing