()
| 248 | assert_eq!(buf, vec![0x10], "Expr::Var(0) should be 0x10"); |
| 249 | } |
| 250 | |
| 251 | #[test] |
| 252 | fn expr_sort_0() { |
| 253 | // Expr::Sort(0) -> Tag4 { flag: 0x0, size: 0 } -> 0x00 |
| 254 | let mut buf = Vec::new(); |
| 255 | serialize::put_expr(&Expr::Sort(0), &mut buf); |
| 256 | assert_eq!(buf, vec![0x00], "Expr::Sort(0) should be 0x00"); |
| 257 | } |
| 258 | |
| 259 | #[test] |
| 260 | fn expr_ref_no_univs() { |
| 261 | // Expr::Ref(0, []) -> Tag4 { flag: 0x2, size: 0 } + idx(0) |
| 262 | // = 0x20 + 0x00 |
| 263 | let mut buf = Vec::new(); |
nothing calls this directly
no test coverage detected