8 Commits (2c5162966aef7d1daaae52cd57e21ac16a0d44c2)

Author	SHA1	Message	Date
alpharush	4c6d3aee2b	fix script paths	2 years ago
Boyan-MILANOV	32599e0d2c	Fix cli CI test	2 years ago
Boyan-MILANOV	1127eb5c49	Force --no-fail-pedantic on some CI tests	2 years ago
Josselin Feist	a5b326f37d	Minor	2 years ago
Josselin Feist	c32b3e16b7	Simplify CI ... Remove --ignore-reurn-value flag (it becomes useless with the new exit code strategy)	2 years ago
Josselin	13e6939a93	Improvements	4 years ago
Josselin	243e162c93	Fix ci	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	638edb2a1c	Improve travis_test_cli.sh	6 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