When gnatprove is used with “–counterexamples=on” inside GNAT Studio it is able to present a detailed trace:
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?
2 posts - 2 participants