newtest: replay concolic values