search

coq-community / vscoq

A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]
MIT License
332 stars 68 forks source link

Capturing Stdout #662

Open alpaylan opened 11 months ago

alpaylan commented 11 months 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 11 months 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.