Commit Graph
228 Commits
Author SHA1 Message Date
Pascal Marco Caversaccio b1ed6b3ad8 use solc 0.8.0 for path filtering test
Signed-off-by: Pascal Marco Caversaccio <[email protected]>
2022-09-26 16:21:47 +02:00
Pascal Marco CaversaccioandEmilio López f787982922 Update scripts/ci_test_path_filtering.sh
Co-authored-by: Emilio López <[email protected]>
2022-09-26 15:02:46 +02:00
Pascal Marco Caversaccio 94159fab12 Merge pull request #1 from pcaversaccio/dev
Merge `dev` into `patch-1`
2022-09-26 08:11:20 +01:00
Boyan-MILANOV 32599e0d2c Fix cli CI test 2022-08-24 09:28:03 +02:00
Boyan-MILANOV 1127eb5c49 Force --no-fail-pedantic on some CI tests 2022-08-24 09:20:44 +02:00
Josselin Feist a5b326f37d Minor 2022-08-08 16:02:24 +02:00
Josselin Feist 0381589cfd Fix CI 2022-08-08 15:51:08 +02:00
Josselin Feist c32b3e16b7 Simplify CI
Remove --ignore-reurn-value flag (it becomes useless with the new exit code strategy)
2022-08-08 15:28:12 +02:00
Josselin Feist 1c9b05b117 Merge branch 'dev' into exit-code 2022-08-08 15:28:05 +02:00
alpharush e170df0450 fix test 2022-08-02 22:32:02 -05:00
alpharush cd9a13727f read from stdout 2022-08-02 22:19:30 -05:00
alpharush 77d097bf88 update ci tests 2022-08-02 22:19:26 -05:00
Josselin Feist fc6178ff86 Minor 2022-08-02 13:09:31 +02:00
Josselin Feist e0a0679ff7 Fix spellcheck error 2022-08-02 09:40:16 +02:00
Josselin Feist d04e6cf8ae Minor 2022-08-01 18:28:38 +02:00
Josselin Feist 1592cb376c Update dapp test 2022-08-01 17:14:29 +02:00
Feist Josselin c2fd27c6c4 Merge branch 'dev' into dev-dependencies 2022-07-28 08:39:25 +02:00
Pascal Marco Caversaccio 1c1b471159 remove output file in any case
Signed-off-by: Pascal Marco Caversaccio <[email protected]>
2022-07-26 18:31:03 +02:00
Pascal Marco Caversaccio 25886e2e0d missing format identifier
Signed-off-by: Pascal Marco Caversaccio <[email protected]>
2022-07-26 18:07:35 +02:00
Pascal Marco Caversaccio 36875c7412 using bash scripts now
Signed-off-by: Pascal Marco Caversaccio <[email protected]>
2022-07-26 17:55:37 +02:00
alpharush 2e341aee9b do not convert IRs with arguments to state var read (#1230)
* do not convert IRs with arguments to state var read
2022-07-26 10:08:02 +02:00
Emilio López ce0a4006b9 Disable coloring if output is not a terminal, fix Windows tests (#1244)
* Disable coloring if output is not a terminal

Color escape codes are most likely not expected if piping the output
of slither into a file or other tool. Check if stdout is a tty before
enabling colored output.
2022-07-25 15:52:59 +02:00
alpharush d3eea7b64e bump to python 3.8 2022-05-25 16:05:27 -05:00
Feist Josselin 741fc06ea8 Improve function lookup for bytes (#1163)
* Improve function lookup for bytes

* Update dapp test

* black
2022-04-10 18:52:17 +02:00
Emilio López 114983c17d Windows CI for Slither (#1137)
* workflows: parser: use solc-select from pip

The hardcoded, manually-installed version is out of date. This updates
the workflow to install directly from pip now that it is available there.

* workflows: parser: Run tests also on Windows

* workflows: parser: bump solc-select to >=v1.0.0b1

This version introduces Windows support.

* workflows: parser: FIXME: install patched crytic-compile

* workflows: features: enable Windows runs

This enables runs on windows-2022 and updates solc-select to support
running on Windows.

* workflows: features: FIXME: install patched crytic-compile

* workflows: detectors: enable Windows runs

This enables runs on windows-2022 and updates solc-select to support
running on Windows.

* workflows: detectors, features, parser: disable fail-fast

Disable fail-fast so failures in one platform do not hide failures
in the other OS.

* tests: detectors: adjust GENERIC_PATH replacement for Windows

Backslashes are escaped in the string representation, so we need
to double them before replacing. Also change generic path to a constant
string to avoid it being converted to "\GENERIC_PATH" in Windows and
getting an invalid escape error from the JSON decoder later on.

* tests: use lf endings for test code

If autocrlf is enabled on Windows, it will rewrite solc code with
CRLF file endings and break tests that depend on byte offsets in
the code files.

* workflows: detectors:  FIXME: install patched crytic-compile

* workflows: ci: enable Windows runs

This enables runs on windows-2022 and updates solc-select to support
running on Windows. Some tests with Linux requirements are excluded.

* workflows: ci: FIXME: install patched crytic-compile

* workflows: *: update actions/setup-python to v3

v1 does not install Python correctly on Windows. While at it, update
all instances to v3.

* workflows: ci: add msys2 tools to path

* workflows: ci: disable broken Windows workflows

* workflows: apply linter fixes

* workflows: ci: enable dapp test

* tests: dapp: fix test

* core: normalize paths on POSIX style

* workflows: ci: enable printers tests on Windows
2022-04-01 14:31:31 +02:00
Josselin f5f456ecdd Minor 2021-05-12 15:06:49 +02:00
Josselin 8bea597c4d Minor 2021-05-12 14:50:00 +02:00
Josselin eaaf27df6b Fix printer test 2021-05-12 14:46:05 +02:00
Josselin 650c4a8232 Fix variable order printer
Improve tests on printers
2021-05-12 12:19:05 +02:00
Josselin c183a369cc Minor 2021-05-04 09:23:42 +02:00
Josselin f9980184c2 Update etherlime test 2021-03-28 12:49:49 +02:00
Josselin b89e290e04 minor 2021-03-28 12:23:13 +02:00
Josselin 346b759c9b Add slither-flat to the CI 2021-03-28 11:46:26 +02:00
Josselin 13e6939a93 Improvements 2021-02-14 18:46:05 +01:00
Feist Josselin fe7a9dfc91 Update ci_test_truffle.sh 2020-12-18 18:39:18 +01:00
Feist Josselin 38b1c8fbd3 Update ci_test_etherlime.sh 2020-12-17 19:40:09 +01:00
Josselin 243e162c93 Fix ci 2020-10-05 14:02:32 +02:00
Josselin 2ee2792064 Refactor detectors tests to use pytest 2020-10-05 13:07:31 +02:00
Josselin 70e609ec28 Fix all pylint issues 2020-09-02 19:00:03 +02:00
Josselin 3f706061e4 Run Black 2020-08-31 12:19:18 +02:00
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
2020-08-31 11:06:35 +02:00
Feist Josselin 2d615314fd Update travis_test_etherlime.sh 2020-08-15 19:22:21 +02:00
Josselin 8f5658042d solc-version: update embark test 2020-08-15 19:04:19 +02:00
Josselin ff0d820da6 solc-version:
- Add check on exact compiler version sued
- Improve truffle test
2020-08-15 10:22:25 +02:00
Emilio López 3f2527f227 linting: Solve shell linting errors 2020-07-26 19:24:43 -03:00
Josselin 2b5f3099dd Update tests 2020-06-18 09:25:48 +02:00
Josselin b625e9211b Create MyPrettyTable: wrapper around PrettyTable to allow json seralization 2020-04-22 09:25:04 +02:00
Josselin 2c429e6d23 Add slither-prop test 2020-04-17 17:31:11 +02:00
Josselin 6c7ce89db2 Refactor reentrancy to show where are the calls/write to variables in internal calls (fix #412) 2020-03-31 14:58:39 +02:00
Josselin 9a489030f0 Update Dapp test 2020-03-21 17:30:00 +01:00