Now appearing at https://travis-ci.org/csmith-project/creduce Thanks to Tamir Duberstein for the initial Travis-CI configuration files! -- ------------------------------------------------------------------------------- Eric Eide <eeide@cs.utah.edu> . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX