feat: more test case for first set

Devin-Yeung · Nov 22, 2023 · 895d238 · 895d238
1 parent 499d614
commit 895d238
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/src/utils/first/mod.rs b/src/utils/first/mod.rs
@@ -51,4 +51,20 @@ mod test {
 
         insta::assert_display_snapshot!(first.tabled());
     }
+
+    #[test]
+    fn test_case_1() {
+        let grammar = r#"
+        <P> ::= <Q> 'id' <R>
+        <Q> ::= '∃' | '∀'
+        <R> ::= <E> '=' <E>
+        <E> ::= <T> <E'>
+        <E'> ::= '+' <T> <E'> | 'ε'
+        <T> ::= '(' <E> ')' | 'id'
+        "#
+        .parse()
+        .unwrap();
+        let first = First::new(&grammar);
+        insta::assert_display_snapshot!(first.tabled());
+    }
 }