mythril

mirror of https://github.com/ConsenSys/mythril

Author	SHA1	Message	Date
Nikhil Parasaram	5eb15a5220	Use xml coverage report	6 years ago
LieutenantRoger	f14b21e16d	Merge laser into mythril	6 years ago
Josh Asplund	756bd1ebe7	Simplifies Circle config and coverage	6 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