diff options
Diffstat (limited to 'tests/test_execution.rs')
| -rw-r--r-- | tests/test_execution.rs | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/tests/test_execution.rs b/tests/test_execution.rs index d9b1c5e..44df5ae 100644 --- a/tests/test_execution.rs +++ b/tests/test_execution.rs @@ -5,10 +5,10 @@ use chrysanthemum::util::*; #[test] fn test_simple() { let context = Context::new(); - assert_eq!(execute(&context, Const(Term::Boolean(false))), Ok(Term::Boolean(false))); - assert_eq!(execute(&context, Const(Term::Natural(123))), Ok(Term::Natural(123))); - assert_eq!(execute(&context, Const(Term::Integer(123))), Ok(Term::Integer(123))); - assert!(execute(&context, Var("x")).is_err()); + assert_eq!(context.execute(Const(Term::Boolean(false))).unwrap(), Term::Boolean(false)); + assert_eq!(context.execute(Const(Term::Natural(123))).unwrap(), Term::Natural(123)); + assert_eq!(context.execute(Const(Term::Integer(123))).unwrap(), Term::Integer(123)); + assert!(context.execute(Var("x")).is_err()); } #[test] @@ -16,8 +16,9 @@ fn test_complex() { let mut context = Context::new(); context.insert(String::from("x"), Term::Natural(413)); context.insert(String::from("y"), Term::Boolean(true)); - assert_eq!(execute(&context, Var("x")), Ok(Term::Natural(413))); - assert_eq!(execute(&context, Cond(Var("y"), Const(Term::Integer(612)), Var("x"))), Ok(Term::Integer(612))); - assert_eq!(execute(&context, - App(Abs("z", Cond(Const(Term::Boolean(false)), Var("x"), Var("z"))), Const(Term::Integer(1025)))), Ok(Term::Integer(1025))); + assert_eq!(context.execute(Var("x")).unwrap(), Term::Natural(413)); + assert_eq!(context.execute(Cond(Var("y"), Const(Term::Integer(612)), + Var("x"))).unwrap(), Term::Integer(612)); + assert_eq!(context.execute(App(Abs("z", Cond(Const(Term::Boolean(false)), + Var("x"), Var("z"))), Const(Term::Integer(1025)))).unwrap(), Term::Integer(1025)); } |