Revision 05f85b44
Added by Guillaume DAVY almost 6 years ago
src/backends/Ada/ada_backend_wrapper.ml | ||
---|---|---|
164 | 164 |
]; |
165 | 165 |
pp_package "Prove" [ |
166 | 166 |
pp_for "Switches" ["--mode=prove"; "--report=statistics"; "--proof=per_check"; "--warnings=continue"]; |
167 |
pp_for_single "Proof_Dir" (asprintf "proof"); |
|
167 | 168 |
] |
168 | 169 |
]) |
169 | 170 |
project_name |
Also available in: Unified diff
Ada: Start cleaning Ada to prepare for why beckend