()
| 1491 | |
| 1492 | #[test] |
| 1493 | fn lookup_let_val_out_of_range() { |
| 1494 | let mut tc = new_tc(); |
| 1495 | tc.push_let(sort0(), sort1()); |
| 1496 | assert!(tc.lookup_let_val(10).is_none()); |
| 1497 | } |
| 1498 | |
| 1499 | // ---- save_depth / restore_depth ---- |
| 1500 | |
| 1501 | #[test] |
| 1502 | fn save_and_restore_depth_basic() { |
| 1503 | let mut tc = new_tc(); |
| 1504 | tc.push_local(sort0()); |
| 1505 | let s = tc.save_depth(); |
| 1506 | tc.push_local(sort1()); |