()
| 418 | |
| 419 | #[test] |
| 420 | fn array() { |
| 421 | let array = AlgebraicType::array(AlgebraicType::U8); |
| 422 | let value = AlgebraicValue::Array(ArrayValue::Sum([].into())); |
| 423 | let typespace = Typespace::new(vec![]); |
| 424 | assert_eq!(in_space(&typespace, &array, &value).to_satn(), "[]"); |
| 425 | } |
| 426 | |
| 427 | #[test] |
| 428 | fn array_of_values() { |
no test coverage detected
searching dependent graphs…