Fixed path to testcases in bin_tests.smt to  use current SVN tree structure.
Fixed path to testcases in bin_tests.smt to  use current SVN tree structure.


kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp