Project

General

Profile

« Previous | Next » 

Revision 05f85b44

Added by Guillaume DAVY almost 6 years ago

Ada: Start cleaning Ada to prepare for why beckend

View differences:

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