src/cbmc/cbmc usr/bin/
src/crangler/crangler usr/bin/
src/goto-analyzer/goto-analyzer usr/bin/
src/goto-cc/goto-cc usr/bin/
src/goto-diff/goto-diff usr/bin/
src/goto-harness/goto-harness usr/bin/
src/goto-inspect/goto-inspect usr/bin/
src/goto-instrument/goto-instrument usr/bin/
src/goto-synthesizer/goto-synthesizer usr/bin/
src/memory-analyzer/memory-analyzer usr/bin/
src/symtab2gb/symtab2gb usr/bin/
jbmc/src/jbmc/jbmc usr/bin/
jbmc/src/janalyzer/janalyzer usr/bin/
jbmc/src/jdiff/jdiff usr/bin/
