From 8d61fb9ca076f481850425f4424469acbb1afe7c Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Wed, 9 Oct 2024 13:29:57 +0200
Subject: [wip] generate nested terms through pairing function

---
 rust/src/web.rs | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'rust/src/web.rs')

diff --git a/rust/src/web.rs b/rust/src/web.rs
index 8fa9452..f676b3c 100644
--- a/rust/src/web.rs
+++ b/rust/src/web.rs
@@ -488,6 +488,19 @@ mod app_tests {
         assert!(input.split(' ').count() > 2);
     }
 
+    #[test]
+    async fn client_generates_more_complex_terms_at_level_9() {
+        let mut client = client();
+        client.grade = 9;
+
+        let (input, _) = client.generate_expr();
+
+        let parsed = parse(&input);
+        match &parsed[..] {
+            _ => panic!("Expected term, got {:?}", parsed),
+        }
+    }
+
     #[test]
     async fn client_increases_grade_on_successful_test() {
         let mut client = client();
-- 
cgit v1.2.3