Java test modified
Removed pipe
deleted subproc
Python version check made
Check for python modified
Ant check
Corrected concat error
CBMC installer made further
get os fix mac
get os fix mac
debuggin installer, Mac
debuggin installer, Mac
No 4.6 cbmc for mac
Fixes to cbmc install process
Works on Mac and Linux: CBMC installer
Main set to work
Indent bug fix
Fixed typo
CBMC workaround
CBMC for mac test