Skip to content
Snippets Groups Projects
Normal view Permalink
035a236965b94d35d953120e59db5dd3.json 82 B
Newer Older
Virgile Prevosto's avatar
[aorai] use WP cache in 'prove' ptest configuration
Virgile Prevosto committed
1 2 
{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0095,
  "steps": 46 }