Radish alpha
H
HardenedBSD-pkg
HardenedBSD Package Manager
Radicle
Git (anonymous pull)
Log in to clone via SSH
Commits ›
Check that we can roundtrip CheriBSD ABIs
Brooks Davis committed 1 month ago
commit 935be93ce2e8f2a8dda51b315dbd99f952a8d14a
parent 10752ef9eb22e6a435723bd15e0761d1166cd361
1 file changed +30 -0
modified tests/frontend/abi.sh
@@ -57,6 +57,36 @@ override_body() {
		-o inline:"${_expected}" \

		-e ignore \

		pkg -o ABI=FreeBSD:12:powerpc -o OSVERSION=1201000 config altabi
+ 
	_expected="CheriBSD:20250301:aarch64c\n"
+ 
	atf_check \
+ 
		-o inline:"${_expected}" \
+ 
		-e ignore \
+ 
		pkg -o ABI=CheriBSD:20250301:aarch64c config abi
+ 
	_expected="CheriBSD:20250301:aarch64cb\n"
+ 
	atf_check \
+ 
		-o inline:"${_expected}" \
+ 
		-e ignore \
+ 
		pkg -o ABI=CheriBSD:20250301:aarch64cb config abi
+ 
	_expected="cheribsd:20250301:aarch64:64:cheri\n"
+ 
	atf_check \
+ 
		-o inline:"${_expected}" \
+ 
		-e ignore \
+ 
		pkg -o ABI=CheriBSD:20250301:aarch64c config altabi
+ 
	_expected="cheribsd:20250301:aarch64:64:cheri:benchmark\n"
+ 
	atf_check \
+ 
		-o inline:"${_expected}" \
+ 
		-e ignore \
+ 
		pkg -o ABI=CheriBSD:20250301:aarch64cb config altabi
+ 
	_expected="CheriBSD:20250301:riscv64c\n"
+ 
	atf_check \
+ 
		-o inline:"${_expected}" \
+ 
		-e ignore \
+ 
		pkg -o ABI=CheriBSD:20250301:riscv64c config abi
+ 
	_expected="cheribsd:20260101:riscv:64:cheri:hf\n"
+ 
	atf_check \
+ 
		-o inline:"${_expected}" \
+ 
		-e ignore \
+ 
		pkg -o ABI=CheriBSD:20260101:riscv64c config altabi

}



elfparse_body() {