Run test_cocotb with debugging to improve coverage
@@ -43,6 +43,11 @@ do_tests::
$(MAKE) -k -C tests
do_tests::
$(MAKE) -k -C examples
+# increase coverage
+do_tests::
+ $(MAKE) -k -C tests/test_cases/test_cocotb/ COCOTB_LOG_LEVEL=DEBUG > test_cocotb_DEBUG.log
+do_tests::
+ $(MAKE) -k -C tests/test_cases/test_cocotb/ COCOTB_SCHEDULER_DEBUG=1 > test_cocotb_SCHEDULER_DEBUG.log
# For Jenkins we use the exit code to detect compile errors or catastrophic
# failures and the XML to track test results
