tree 927631e953d7452a17919f04538864947bd4bdd5
parent 3035edecd333274e3c39a08377783cf826c6d6d7
author Chris Hillery <chillery@lambda.nu> 1425542154 -0800
committer Ian Maxon <imaxon@uci.edu> 1425668117 -0800

Make testre work right

Change-Id: I8dbfdcc8842efbfadc6bb764ae5f82483cebfc59
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/232
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Ian Maxon <imaxon@uci.edu>