*.pyc
*~
/build
dist
BenchExec.egg-info
.coverage.*
coverage
/.idea/benchexec.iml
/.idea/misc.xml
/.idea/modules.xml
/.idea/vcs.xml
/.idea/workspace.xml
/benchexec/.idea
node_modules/
