Gnatprove detailed counterexample trace outside GNAT Studio?
18 November 2023 at 02:46
When gnatprove is used with ββcounterexamples=onβ inside GNAT Studio it is able to present a detailed trace[1]:
This nice trace only seems to work inside GNAT Studio, not inside the VSCode AdaCore.ada plugin. Is there a way to output this trace to a text console (e.g. by passing an option to the gnatprove command-line command) so that this trace feature can be used outside GNAT Studio?
[1] 7.2. How to View GNATprove Output β SPARK User's Guide 25.0w
2 posts - 2 participants