8 Commits (fix/constraints-after-issues)

Author	SHA1	Message	Date
Nikhil Parasaram	5eb15a5220	Use xml coverage report	6 years ago
LieutenantRoger	f14b21e16d	Merge laser into mythril	7 years ago
Josh Asplund	756bd1ebe7	Simplifies Circle config and coverage	7 years ago
freewind	73096acfa2	make sure use same signatures.json in every test	7 years ago
freewind	2d4fe3956b	Use temp files to store tests output, make it easy to compare results if output changes	7 years ago
freewind	29c5ca6977	Fix tests	7 years ago
freewind	402404efa2	improve coverage config	7 years ago
freewind	ce41bfb739	add 'coverage' to generate testing coverage report	7 years ago