umount-test-opts

Equivalence checking of BusyBox and util-linux umount(8) -O option handling

git clone https://git.8pit.net/umount-test-opts.git

 1(use-modules (guix packages)
 2             (gnu packages base)
 3             (gnu packages check)
 4             (gnu packages linux)
 5             (gnu packages llvm))
 6
 7(packages->manifest
 8  (list
 9    coreutils
10    clang-13
11    gnu-make
12    klee
13    linux-libre-headers
14    llvm-13))