Fixed tests for latest code format
Merge branch 'master' of https://github.com/puconghan/plt
full working tests for our current code base
Merge branch 'master' of https://github.com/puconghan/plt