.dockerignore

/.git
/.github
/bin
/docs

/compatibility-test
/demos
/docs
/downloads
/experiments
/runtime/build_*
/verification-annotations

# .dockerignore files differ from .gitignore files in that
# all filenames implicitly start at the root so we have
# to replicate the following rules once for every level
# of the directory hierarchy.


*.bc
*.ll
*.o
target
kleeout*
klee-out-*
klee-last

*/*.bc
*/*.ll
*/*.o
*/target
*/kleeout*
*/klee-out-*
*/klee-last

*/*/*.bc
*/*/*.ll
*/*/*.o
*/*/target
*/*/kleeout*
*/*/klee-out-*
*/*/klee-last

*/*/*/*.bc
*/*/*/*.ll
*/*/*/*.o
*/*/*/target
*/*/*/kleeout*
*/*/*/klee-out-*
*/*/*/klee-last