From b6100a906bc4816827e17e47dd1d3e6152d56279 Mon Sep 17 00:00:00 2001
From: Spencer Florence <florence@ccs.neu.edu>
Date: Mon, 10 Aug 2015 18:40:07 -0500
Subject: [PATCH] added missing tests

---
 cover/tests/bfs+module-nolex.rkt | 4 ++++
 cover/tests/lazy-require.rkt     | 5 +++++
 2 files changed, 9 insertions(+)
 create mode 100644 cover/tests/bfs+module-nolex.rkt
 create mode 100644 cover/tests/lazy-require.rkt

diff --git a/cover/tests/bfs+module-nolex.rkt b/cover/tests/bfs+module-nolex.rkt
new file mode 100644
index 0000000..2b864c5
--- /dev/null
+++ b/cover/tests/bfs+module-nolex.rkt
@@ -0,0 +1,4 @@
+#lang racket
+(begin-for-syntax
+  (module t racket
+    1))
diff --git a/cover/tests/lazy-require.rkt b/cover/tests/lazy-require.rkt
new file mode 100644
index 0000000..c13d182
--- /dev/null
+++ b/cover/tests/lazy-require.rkt
@@ -0,0 +1,5 @@
+#lang racket
+(begin-for-syntax
+  (require racket/lazy-require)
+  (lazy-require [racket/syntax (format-symbol)])
+  (void (format-symbol "a~a" 'a)))