diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-09 13:29:57 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-09 13:29:57 +0200 |
| commit | 8d61fb9ca076f481850425f4424469acbb1afe7c (patch) | |
| tree | c3fa1add74a4cc7c565492169eda91b1be15d7ba /rust/src/web.rs | |
| parent | e4af8559784e851047702045ff677c9a91897fdd (diff) | |
| download | lambda-nantes-8d61fb9ca076f481850425f4424469acbb1afe7c.tar.gz | |
[wip] generate nested terms through pairing function
Diffstat (limited to 'rust/src/web.rs')
| -rw-r--r-- | rust/src/web.rs | 13 |
1 files changed, 13 insertions, 0 deletions
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 @@ -489,6 +489,19 @@ mod app_tests { } #[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(); let expected = "1".to_string(); |
