test-suite/unit-tests/src · coq · Tangled

Sign in Join now

coq stepbrobd.com /

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

forked from coq/coq

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

coq /test-suite /unit-tests /src

2 files

Pierre-Marie Pédrot · Tweak the output of the test-suite logs. · 1y ago

Tweak the output of the test-suite logs.

Make the out_channel for the log file accessible so tests can write to it (e.g. for debugging)