From 2f0860c7289403021bd6b1eba153a75c8959e90e Mon Sep 17 00:00:00 2001
From: arthur-adjedj <arthur.adjedj@gmail.com>
Date: Tue, 1 Nov 2022 14:40:30 +0100
Subject: [PATCH] Chore : add test coverage
---
kernel/src/universe.rs | 12 ++++++++++++
1 file changed, 12 insertions(+)
diff --git a/kernel/src/universe.rs b/kernel/src/universe.rs
index 2def2419..b22df581 100644
--- a/kernel/src/universe.rs
+++ b/kernel/src/universe.rs
@@ -93,4 +93,16 @@ mod tests {
assert!(&Succ(box Max(box Var(1), box Var(0)))
.is_eq(&Max(box Succ(box Var(0)), box Succ(box Var(1)))));
}
+
+ #[test]
+ fn univ_vars_count() {
+ assert_eq!(Max(box Succ(box Zero), box Max(box Var(0), box Var(1))).univ_vars(), 2)
+ }
+
+ #[test]
+ fn subst() {
+ let lvl = Max(box Succ(box Zero), box Max(box Var(0), box Var(1)));
+ let subst = vec![Succ(box Zero), Zero];
+ assert_eq!(lvl.substitute(&subst), Max(box Succ(box Zero), box Max(box Succ(box Zero), box Zero)))
+ }
}
--
GitLab