cargo / hermit-record

Hermit's ptrace recording tool, compiled apart from the hermit library so its Detcore instantiation builds in parallel.

0.5.0 did not build; the badge stands for .