Skip to content
Snippets Groups Projects
Normal view Permalink
00dd5a7a3cc432b4df4b013be4b68f13.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.0178,
  "steps": 164 }