diff --git a/.github/workflows/mulle-sde-ci.yml b/.github/workflows/mulle-sde-ci.yml
index 5ead11c..d3d07f9 100644
--- a/.github/workflows/mulle-sde-ci.yml
+++ b/.github/workflows/mulle-sde-ci.yml
@@ -52,4 +52,4 @@ jobs:
- name: Mulle-SDE Test
run: |
- [ ! -d test ] || mulle-sde test
+ [ ! -d test ] || ( mulle-sde test craft && mulle-sde -vvv test run test/50-uncovered )
diff --git a/dox/libfoo.svg b/dox/libfoo.svg
index 1b93be4..185a871 100644
--- a/dox/libfoo.svg
+++ b/dox/libfoo.svg
@@ -1,61 +1 @@
-
-
-
-
-
+
\ No newline at end of file
diff --git a/dox/opti_1.svg b/dox/opti_1.svg
index 718d7a6..98d15a8 100644
--- a/dox/opti_1.svg
+++ b/dox/opti_1.svg
@@ -1,157 +1 @@
-
-
-
-
-
+
\ No newline at end of file
diff --git a/dox/opti_2.svg b/dox/opti_2.svg
index 6a2c1aa..58e7578 100644
--- a/dox/opti_2.svg
+++ b/dox/opti_2.svg
@@ -1,83 +1 @@
-
-
-
-
-
+
\ No newline at end of file
diff --git a/dox/opti_2b.svg b/dox/opti_2b.svg
index 8b0d9e8..ecea03b 100644
--- a/dox/opti_2b.svg
+++ b/dox/opti_2b.svg
@@ -1,121 +1 @@
-
-
-
-
-
+
\ No newline at end of file
diff --git a/dox/opti_3.svg b/dox/opti_3.svg
index fe5ea99..c620d89 100644
--- a/dox/opti_3.svg
+++ b/dox/opti_3.svg
@@ -1,185 +1 @@
-
-
-
-
-
+
\ No newline at end of file
diff --git a/dox/opti_4.svg b/dox/opti_4.svg
index 50a6f67..e350c50 100644
--- a/dox/opti_4.svg
+++ b/dox/opti_4.svg
@@ -1,47 +1 @@
-
-
-
-
-
+
\ No newline at end of file
diff --git a/dox/opti_5.svg b/dox/opti_5.svg
index 5b847d3..539d76b 100644
--- a/dox/opti_5.svg
+++ b/dox/opti_5.svg
@@ -1,175 +1 @@
-
-
-
-
-
+
\ No newline at end of file
diff --git a/dox/opti_6.svg b/dox/opti_6.svg
index 838034b..5a08ef5 100644
--- a/dox/opti_6.svg
+++ b/dox/opti_6.svg
@@ -1,177 +1 @@
-
-
-
-
-
+
\ No newline at end of file
diff --git a/dox/optimizer.svg b/dox/optimizer.svg
index 91be754..5a52633 100644
--- a/dox/optimizer.svg
+++ b/dox/optimizer.svg
@@ -1,225 +1 @@
-
-
-
-
-
+
\ No newline at end of file
diff --git a/overview.dot.svg b/overview.dot.svg
index e4816e8..d36eca2 100644
--- a/overview.dot.svg
+++ b/overview.dot.svg
@@ -1,592 +1 @@
-
-
-
-
-
+
\ No newline at end of file