2 Commits (4b5583944f782719086f2adc9f1b74815ce9b0ab)

Author	SHA1	Message	Date
Josselin	13e6939a93	Improvements	4 years ago
Josselin	351de6bd31	Refactor regression tests: ... - Rename travis_ to ci_ - Move shared code to scripts/ci_tests.sh - Rename _4 /_5 to detectors_4 / detectors_5 - Rename generation scripts - Create solidity 6 / 7 scripts (but there is no test for now) - Use solc-select - Update CONTRIBUTING.md guidelines	4 years ago
Emilio López	3f2527f227	linting: Solve shell linting errors	4 years ago
Josselin	b625e9211b	Create MyPrettyTable: wrapper around PrettyTable to allow json seralization	5 years ago
Josselin	b574ad753e	EVM printer: fix bug + improve travis test	5 years ago
Josselin	4074bd36d2	Improve travis test	5 years ago
Josselin	97b4f5cc7c	Add 3 new type of tests for travis: ... - tests_cli: tests some of the cli flags - test_pritners: call all the printers - test_slither_config: test the --config flag Additionally: - "all" can be selected for printers (all the printers are then run) - 'ignore_return_value' can be set in the config file	6 years ago