Assembly printing + inline assembly test

draperlaboratory / hope-policies

Collection of security policies

3 stars 2 forks source link

Closed schadley closed 4 years ago

schadley commented 4 years ago

Use assembly to print RISC-V architecture in policy tests. This also includes changes to the webapp Makefiles to enable this change in webapp tests.

Also, add a policy test for inline assembly.