redid testdriver, pre/postconditions in gstring