CTSRD-CHERI / chericat

Other
2 stars 0 forks source link

Add build tests #8

Open InterestedInTechAndCake opened 1 year ago

InterestedInTechAndCake commented 1 year ago

Perhaps use shell scripts to construct tests that would simulate how a user uses chericat. Could start with the cheribsdtest-purecap-dynamic tests.

This is for testing builds in Jenkins when commits happen.