1 files changed, 1 insertions, 0 deletions
diff --git a/tests/run-tests b/tests/run-tests
index 3898fb7aa7..b858e96358 100755
--- a/tests/run-tests
+++ b/tests/run-tests
@@ -99,6 +99,7 @@ def run_micropython(pyb, args, test_file):
                                              stderr=subprocess.STDOUT, bufsize=0)
                         banner = get(True)
                         output_mupy = banner + b''.join(send_get(line) for line in f)
+                        send_get(b'\x04') # exit the REPL, so coverage info is saved
                         p.kill()
                         os.close(master)
                         os.close(slave)