test fix

patham9 · Mar 10, 2016 · 5ea93b7 · 5ea93b7
1 parent 16ab040
commit 5ea93b7
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/test/nal/test/deriver/backward_rules.clj b/test/nal/test/deriver/backward_rules.clj
@@ -29,12 +29,13 @@
     :pre         nil})
 
 (deftest test-generate-backward-rule
-  (let [[_ r2 r3 :as rules] (expand-backward-rules bw-rule)]
-    (is (= 3 (count rules)))
+  (let [[_ r1 r2 r3 :as rules] (expand-backward-rules bw-rule)]
+    (is (= 4 (count rules)))
     (are [np1 np2 rule]
       (let [{:keys [p1 p2]} rule]
         (and (= p1 np1) (= p2 np2)))
 
+      '(<-> S (ext-set P)) 'S r1
       '(--> S (ext-set P)) 'S r2
 
       '(<-> S (ext-set P)) '(--> S (ext-set P)) r3)))