search

HeisenbugLtd / spat

SPARK Proof Analysis Tool
https://github.heisenbug.eu/spat/
Do What The F*ck You Want To Public License
15 stars 4 forks source link

Invalid output of --suggest option #48

Closed treiher closed 4 years ago

treiher commented 4 years ago

Describe the bug The output of the --suggest option contains too many quotes after the --steps option.

Console Output

Warning: You requested a suggested prover configuration.
Warning: This feature is highly experimental.
Warning: Please consult the documentation.

package Prove is
   for Prover_Switches ("sparknacl-car.adb") use ("--provers=CVC4", "--steps=5882"", "--timeout=1");