tree 7e7a5514b20fdb2026abb50cdd7c05a4e9877bdc
parent 0228b9c67c427c8789bc1d2c9553a85efc7fb294
author buyingyi <buyingyi@gmail.com> 1417041432 -0800
committer Ian Maxon <imaxon@uci.edu> 1417043950 -0800

1. Fix for issue 810.
2. Add regression tests for issue 567 and 697.

Change-Id: I1eb4d7ca5d757f317efbe373ba502c6db61d93f4
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/179
Reviewed-by: Preston Carman <ecarm002@ucr.edu>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>