Skip to content
Snippets Groups Projects
Normal view Permalink
0b6ef7b0d55e2a348f77d14117d9009e.json 83 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.0237,
  "steps": 257 }