Commit 1f7cd1b

committed

uefi-raw: add ABI test for IpAddress

1 parent 0b7392c commit 1f7cd1bCopy full SHA for 1f7cd1b

File tree

+12

-8

lines changed

+12

-8

lines changed

Lines changed: 12 additions & 8 deletions

Original file line number	Diff line number	Diff line change
`@@ -387,14 +387,6 @@ mod tests {`
`387`	`387`	`}`
`388`	`388`	`}`
`389`	`389`
`390`		`- /// Tests that all bytes are initialized and that the Debug print doesn't`
`391`		`- /// produce errors, when Miri executes this.`
`392`		`- #[test]`
`393`		`- fn test_ip_address_debug_memory_safe() {`
`394`		`- let uefi_addr = IpAddress::new_v6(TEST_IPV6);`
`395`		`- std::eprintln!("{uefi_addr:#?}");`
`396`		`- }`
`397`		`-`
`398`	`390`	`/// Tests the expected flow of types in a higher-level UEFI API.`
`399`	`391`	`#[test]`
`400`	`392`	`fn test_uefi_flow() {`
`@@ -435,4 +427,16 @@ mod tests {`
`435`	`427`	`let expected = [42, 42, 42, 42, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 42, 42];`
`436`	`428`	`assert_eq!(ipv6_addr.octets(), expected);`
`437`	`429`	`}`
	`430`	`+`
	`431`	`+ #[test]`
	`432`	`+ fn test_efi_ip_address_abi() {`
	`433`	`+ #[repr(C, packed)]`
	`434`	`+ struct PackedHelper<T>(T);`
	`435`	`+`
	`436`	`+ assert_eq!(align_of::<IpAddress>(), 4);`
	`437`	`+ assert_eq!(size_of::<IpAddress>(), 16);`
	`438`	`+`
	`439`	`+ assert_eq!(align_of::<PackedHelper<IpAddress>>(), 1);`
	`440`	`+ assert_eq!(size_of::<PackedHelper<IpAddress>>(), 16);`
	`441`	`+ }`
`438`	`442`	`}`

Comments

(0)