Equivalence checking of BusyBox and util-linux umount(8) -O option handling
git clone https://git.8pit.net/umount-test-opts.git
https://git.8pit.net/umount-test-opts.git
1main 2main.bc 3klee-last 4klee-out-*
1main
2main.bc
3klee-last
4klee-out-*