History log of /seL4-camkes-master/tools/cogent/cogent/examples/brutal/brutal_manual.c
Revision Date Author Comments
# edf28080 18-Sep-2020 Zilin Chen <Zilin.Chen@data61.csiro.au>

brutal: add a manual version that preserves the interface

[skip ci]