diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-09-25 12:00:42 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-09-25 12:00:42 +0200 |
| commit | ec3637ab27df1fc9faeaac9977ee9e184cf4942e (patch) | |
| tree | 86cad43e44c624d9563f477acf14658c7379f013 | |
| parent | d98451ea1e703dfbab4cdc8cc451fd55fed89c06 (diff) | |
| download | lambda-nantes-ec3637ab27df1fc9faeaac9977ee9e184cf4942e.tar.gz | |
Add integration test for normal form
| -rw-r--r-- | rust/tests/interpret_test.rs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/rust/tests/interpret_test.rs b/rust/tests/interpret_test.rs index 09c74fe..3fa357d 100644 --- a/rust/tests/interpret_test.rs +++ b/rust/tests/interpret_test.rs @@ -1,7 +1,8 @@ -use lambda::run; +use lambda::eval_file; #[test] fn interpreter_can_read_and_interpret_file() { - assert_eq!("12", run("sample/test.txt")); - assert_eq!("true", run("sample/test_full.txt")); + assert_eq!("12 foo true (x x)", eval_file("sample/test.txt")); + assert_eq!("true", eval_file("sample/test_full.txt")); + assert_eq!("1", eval_file("sample/test_normal.txt")); } |
