.deps
Makefile
Makefile.in
proptest
yasim
