From e53496f617ee2ef5be1445e812793ad9b193442f Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sat, 15 Feb 2020 13:57:49 +0100
Subject: [PATCH] bn-tests.rkt: Add, with a dummy test.

---
 bn-tests.rkt | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 bn-tests.rkt

diff --git a/bn-tests.rkt b/bn-tests.rkt
new file mode 100644
index 0000000..f7867db
--- /dev/null
+++ b/bn-tests.rkt
@@ -0,0 +1,7 @@
+#lang typed/racket
+
+;;; Tests for dds/bn.
+
+(require typed/rackunit "bn.rkt")
+
+(check-equal? (+ 1 2 3) 6)