13 Commits

Include renames

Author	SHA1	Message	Date
Peter Goodman	15ee6c849c	Refactor tests, and pump symbolic container sizes	2018-07-18 09:26:44 -04:00
Alex Groce	375bfb4235	fix keepalive to only output at five minute intervals	2018-07-14 12:00:47 -07:00
Alex Groce	6ffd9b4486	give Lists more time, less verbose keepalive	2018-07-14 11:29:45 -07:00
Alex Groce	96fc87f781	keep alive long silent tests, add integer overflow	2018-07-14 06:27:48 -07:00
Alex Groce	ec52c6e27d	print right return value	2018-07-13 21:30:19 -07:00
Alex Groce	d06233b2cf	better spacing	2018-07-13 21:29:28 -07:00
Alex Groce	f710c38f58	actually return something from logrun	2018-07-13 21:28:48 -07:00
Alex Groce	476cdd97fd	fix output	2018-07-13 21:27:38 -07:00
Alex Groce	3a35a44496	fix iteration over command	2018-07-13 21:24:02 -07:00
Alex Groce	ef3308b8ed	outside travis, run everything; also more verbose execution	2018-07-13 21:08:14 -07:00
Alex Groce	eb150fc13c	Add tests for Crash, Klee, Lists examples; detect internal errors and exceptions	2018-07-13 20:50:00 -07:00
Alex Groce	f1129354bd	write to stderr and flush	2018-07-13 10:34:16 -07:00
Alex Groce	8767374bfa	log the run so travis doesn't timeout	2018-07-13 10:20:50 -07:00