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 -- true
RUN: %hermit run --no-sequentialize-threads --no-deterministic-io -- false; [ "$?" == 1 ]
RUN: %hermit run --no-sequentialize-threads --no-deterministic-io -- sh -c "exit 42"; [ "$?" == 42 ]