Commit ad537a2
committed
connection manager coverage unit tests
Turn the unenforced property tests into enforced unit tests.
Also improve the transition coverage test to cover two sources of
transition events: from `traceTVar` installed in `newMutableConnState`
and a transition tracer.1 parent 4920b7a commit ad537a2
File tree
1 file changed
+240
-51
lines changed- ouroboros-network/sim-tests-lib/Test/Ouroboros/Network
1 file changed
+240
-51
lines changed
0 commit comments