search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
343 stars 69 forks source link

Capturing Stdout #662

Open alpaylan opened 1 year ago

alpaylan commented 1 year ago

This might be a silly idea but is it possible to capture and show the stdout while running VSCoq? I am working with QuickChick, which outputs its results to stdout, which I cannot see while using VSCoq and have to run coqc on the terminal separately to actually be able to use.

gares commented 1 year ago

I don't know about stdout (since that is used by LSP itself, IIRC). But if you print to stderr, then in the "Output" tab/panel, select "Coq Language Server" and you will see all that.

I've been doing that the whole afternoon and it works just fine.