1 Commits

Author	SHA1	Message	Date
Johannes Kanig	5cb01f8443	W116-007 add option for Why3 logging ... Add a new switch to Gnatprove to enable more logging by why3. * configuration.adb (Parse_Switches): add switch --why3-logging (Compute_Why3_Args): pass switch to Why3 if enabled	2023-01-25 08:42:40 +00:00