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

1FROM klee/klee:latest
2ADD --chown=klee:klee . /home/klee/umount