hermit-detcore 0.4.1

Detcore: the deterministic scheduler and syscall determinization core of the Hermit execution engine.
Documentation 
1
2
3

RUN: %hermit run --no-sequentialize-threads --no-deterministic-io -- cat /etc/issue | FileCheck %s
RUN: %hermit run -- cat /etc/issue | FileCheck %s
CHECK: {{.+}}