search

CTSRD-CHERI / qemu

QEMU with support for CHERI
Other
52 stars 28 forks source link

Jenkins: run `make check` #235

Closed arichardson closed 1 year ago

arichardson commented 1 year ago

Fixes various issues that resulted in assertions while running the tests