cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
21,313 Commits 348 Branches 121 Tags 100 MiB
multicore-soltest-sh
Commit Graph

21313 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Kamil Śliwak
dd936e95c7 [DEBUG] Disable non-soltest jobs to speed up the workflow 2021-10-29 02:24:47 +02:00
Kamil Śliwak
2d608aca1f [TMP] Run soltest jobs on xlarge machines 2021-10-29 02:23:34 +02:00
Kamil Śliwak
dbcb89c534 [TMP] soltest_all.sh: Make all test runs include all cases to work around failures 2021-10-29 02:09:15 +02:00
Kamil Śliwak
1234f4d719 [TMP] Use the split script to parallelize soltest.sh 2021-10-29 02:09:15 +02:00
Kamil Śliwak
ca50ff42ea [TMP] Helper script for splitting the list of test cases into batches 2021-10-29 02:09:15 +02:00
Kamil Śliwak
383ac26343 CI: Remove separate compile-only runs for external tests that execute quickly 2021-10-29 00:50:25 +02:00
Kamil Śliwak
c8a169e714 CI: Optimize machine sizes for best speed/cost ratio 2021-10-29 00:50:25 +02:00
Kamil Śliwak
bd9a684445 Parallelize external test runs on CircleCI 2021-10-28 22:02:45 +02:00
Kamil Śliwak
81ed863699 Extract helpers for managing steps in parallelized CircleCI jobs from soltest_all.sh 2021-10-28 22:02:45 +02:00
Kamil Śliwak
02baf45d53 Use consistent syntax for Bash function declarations 2021-10-28 22:01:28 +02:00
Kamil Śliwak
66eded1f30 externalTests: Generalize force_truffle_solc_modules and make it use symlinks instead of redownloading solc-js 2021-10-28 22:01:28 +02:00
Kamil Śliwak
c70b37ad33 externalTests: Neutralize npm hooks instead of replacing pragmas twice 
- This also has the nice effect of stopping projects from trying to compile contracts during installation
 2021-10-28 22:01:28 +02:00
Kamil Śliwak
2192c2fbfd externalTests: Helper for neutralizing package locks 2021-10-28 22:01:28 +02:00
Kamil Śliwak
e1327afdca externalTests: Use named tmp dirs 2021-10-28 22:01:28 +02:00
Kamil Śliwak
7afe3f73ab externalTests: Enable set -e in external tests 2021-10-28 22:01:28 +02:00
Kamil Śliwak
4fbf35c338 externalTests: Refactor to be more explicit and easier to adjust for special cases 2021-10-28 22:01:28 +02:00
Kamil Śliwak
f8853c94ca CI: Tweak some job names to better reflect what they run 2021-10-28 11:31:33 +02:00
Kamil Śliwak
a0295550b1 CI: Define a base_ dict for every image and set default values for some env variables there 2021-10-28 11:31:33 +02:00
Kamil Śliwak
344683c519 CI: Replace test_ dicts with base_ ones and make their steps explicit 2021-10-28 11:31:33 +02:00
Kamil Śliwak
00a0a0ed12 CI: Remove superfluous/unused test_ dicts 2021-10-28 11:31:33 +02:00
chriseth
cede36930d
Merge pull request #12207 from ethereum/fix-isoltest-enforce-gas-default 
Fix defaults for `--enforce-gas-cost` in isoltest
 2021-10-27 23:10:14 +02:00
Kamil Śliwak
a039431627 isoltest: Do not try to enforce gas costs when ABIEncoderV1 is used 2021-10-27 18:56:45 +02:00
Kamil Śliwak
eb2425bd7c isoltest: Fix gas tests always being enforced regardless of evm version 2021-10-27 18:56:45 +02:00
chriseth
7ebf71f315
Merge pull request #12203 from ethereum/fixuseafterfreeside 
Fix use-after-free bug.
 2021-10-27 16:43:44 +02:00
chriseth
e4a94b69be
Merge pull request #12201 from ethereum/docs-path-fix 
Fix wrong path to isoltest in docs
 2021-10-27 16:13:13 +02:00
chriseth
9be882c90d
Merge pull request #12186 from ethereum/fix-userdefined-ice 
Moved storage size assert to TypeChecker from DeclarationTypeChecker
 2021-10-27 16:12:16 +02:00
chriseth
dce13fbb6a Fix use-after-free bug. 2021-10-27 15:49:41 +02:00
Marenz
61519da4f0 Fix wrong path to isoltest in docs 2021-10-27 14:16:50 +02:00
hrkrshnn
8815d6f5f0 Moved a check related to constants to TypeChecker 
And added a proper error message when constant types containing (nested) mapping types are used.
 2021-10-26 18:43:04 +02:00
hrkrshnn
51009c005d Moved a canBeStored assert for struct members to TypeChecker 
This is to avoid a assert from failing for forward declared user defined value types.
 2021-10-26 18:43:04 +02:00
hrkrshnn
9428dbc94f Moved storage size assert to TypeChecker from DeclarationTypeChecker 2021-10-26 18:43:04 +02:00
chriseth
453f404f8f
Merge pull request #12194 from ethereum/sort-changelog 
[trivial] Sort bugfixes in changelog
 2021-10-26 16:05:24 +02:00
Marenz
f588dd34a9 Sort bugfixes in changelog 2021-10-26 15:41:42 +02:00
Harikrishnan Mulackal
401dd4337a
Merge pull request #11451 from ethereum/smt_report_invariants 
[SMTChecker] Report contract invariants
 2021-10-26 12:41:36 +02:00
Leo Alt
902a2e232b Changelog 2021-10-26 11:30:30 +02:00
Leo Alt
d04ad57ee7 Docs 2021-10-26 11:30:30 +02:00
Leo Alt
4f823c6342 CLI and JSON tests 2021-10-26 11:30:30 +02:00
Leo Alt
38b0cf7f9c SMTChecker tests 2021-10-26 11:30:30 +02:00
Leo Alt
2cbd496576 Adjust ModelCheckerSettings in tools tests 2021-10-26 11:30:30 +02:00
Leo Alt
a104443ac1 Adjust errors script to also look for infos 2021-10-26 11:30:30 +02:00
Leo Alt
37215ffcfd Add SMTCheckerTest isoltest option to ignore invariants 2021-10-26 11:30:30 +02:00
Leo Alt
3118fb3666 Add invariants option to CLI and JSON 2021-10-26 11:30:30 +02:00
Leo Alt
d419c30ca6 Add errorCode list to invariants report 2021-10-26 11:30:30 +02:00
Leo Alt
49e7627bd3 Use invariants in CHC 2021-10-26 11:30:30 +02:00
Leo Alt
bc90533c93 Add invariants to ModelCheckerSettings 2021-10-26 11:30:30 +02:00
Leo Alt
d554824f70 Add Invariants which traverses the proof and collects invariants for the given predicates 2021-10-26 11:30:30 +02:00
Leo Alt
9bcd2c18e4 Add expression substitution to Predicate 2021-10-26 11:30:30 +02:00
Leo Alt
ce72d7cd26 Add ExpressionFormatter which translates an smtutil::Expression into a Solidity-like expression string 2021-10-26 11:30:30 +02:00
Leo Alt
1d65977769 Adjust Z3Interface::fromZ3 for the extra cases 2021-10-26 11:30:30 +02:00
Leo Alt
9a87680d21 Add invariant to the solver results 2021-10-26 11:30:30 +02:00