Skip to content
Snippets Groups Projects
Normal view Permalink
08f56d36d378d6573464516b5d1041e8.json 52 B
Newer Older
Virgile Prevosto's avatar
[aorai] use WP cache in 'prove' ptest configuration
Virgile Prevosto committed
1 
{ "prover": "Alt-Ergo:2.4.1", "verdict": "failed" }