Collection of minor fixes and cleanup#1351
Merged
kroening merged 13 commits intodiffblue:developfrom Sep 7, 2017
Commits
Commits on Sep 6, 2017
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
