6 Commits

Author	SHA1	Message	Date
Alex Groce	c58ca9b116	Fix check	2019-01-03 18:32:47 -07:00
Alex Groce	a6db7fb097	drop manticore for runlen, longer limit	2019-01-01 19:52:48 -07:00
Alex Groce	e3bba13fd2	Increase timeout for manticore	2019-01-01 08:01:32 -07:00
Alex Groce	ecb0c8e5cc	Increase timeout	2018-12-31 19:09:36 -07:00
Alex Groce	cd7f6daaf9	change runlen example bug and test	2018-12-31 14:39:10 -07:00
Alex Groce	40eb4b0117	add runlen test	2018-12-31 14:20:15 -07:00