Skip to content
Snippets Groups Projects
Normal view Permalink
04499ab5e25024a2d32de361c812e41a.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.1532,
  "steps": 68 }