New tests and images for coverage. Don't use sudo for mkfs.

2020-03-11 06:02:33 +03:00
parent 7d3dea91c0
commit 6179e7e614
17 changed files with 521 additions and 40 deletions
@@ -1,6 +1,10 @@
 #ifndef TRACE_H_INCLUDED
 #define TRACE_H_INCLUDED

+#include <inttypes.h>
+
+extern uint32_t coverage;
+
 #define COVERAGE_ON() do { trace_resume(coverage); } while (0)

 #define COVERAGE_OFF() do { coverage = trace_pause(); } while (0)