Bought the concolic test suite up-to-date with the updated constraint logging from Artemis.