test-suite/unit-tests · 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

5 folders · 1 file

finalchild · Fix repeated Coqargs parsing with ~init · 2mo ago

Unit test for CList.filter

Fix repeated Coqargs parsing with ~init

Rename the Pcoq module into Procq.

Use Corelib instead of Stdlib as namespace for rocq-core

Tweak the output of the test-suite logs.

Change OUnit package name to ounit2.