6262            if [[ "${CIRCLE_NODE_INDEX}" == 2 ]]; then 
6363              myth analyze ./holder.sol --execution-timeout=1800 
6464            fi 
65- no_output_timeout : 45m   
65+ no_output_timeout : 45m 
6666      - run :
6767          working_directory : contracts 
6868          command : | 
@@ -95,38 +95,38 @@ jobs:
9595          command : solc-select 0.5.10 
9696      - run :
9797          working_directory : contracts 
98-           command : |   
99-             slither ./wallet.sol ||   
98+           command : | 
99+             slither ./wallet.sol || 
100100            echo "export FAILED=true" >> $BASH_ENV 
101101no_output_timeout : 15m 
102102      - run :
103103          working_directory : contracts 
104-           command : |   
105-             slither ./oracle.sol ||   
104+           command : | 
105+             slither ./oracle.sol || 
106106            echo "export FAILED=true" >> $BASH_ENV 
107107no_output_timeout : 15m 
108108      - run :
109109          working_directory : contracts 
110110          command : | 
111-             slither ./licence.sol ||   
111+             slither ./licence.sol || 
112112            echo "export FAILED=true" >> $BASH_ENV 
113113no_output_timeout : 15m 
114114      - run :
115115          working_directory : contracts 
116-           command : |   
117-             slither ./holder.sol ||   
118-             echo "export FAILED=true" >> $BASH_ENV    
116+           command : | 
117+             slither ./holder.sol || 
118+             echo "export FAILED=true" >> $BASH_ENV 
119119no_output_timeout : 15m 
120120      - run :
121121          working_directory : contracts 
122-           command : |   
123-             slither ./tokenWhitelist.sol ||   
122+           command : | 
123+             slither ./tokenWhitelist.sol || 
124124            echo "export FAILED=true" >> $BASH_ENV 
125125no_output_timeout : 15m 
126126      - run :
127127          working_directory : contracts 
128-           command : |   
129-             slither ./walletDeployer.sol ||   
128+           command : | 
129+             slither ./walletDeployer.sol || 
130130            echo "export FAILED=true" >> $BASH_ENV 
131131no_output_timeout : 15m 
132132      - run :
@@ -139,57 +139,57 @@ jobs:
139139    steps :
140140      - checkout 
141141      - run :
142-           command : solc-select 0.5.10    
142+           command : solc-select 0.5.15  
143143      - run :
144144          command : | 
145145            slither-flat --convert-external contracts/wallet.sol && 
146-             echidna-test echidna/addressWhitelist.sol --config echidna/addressWhitelist.yaml TEST ||   
146+             echidna-test echidna/addressWhitelist.sol --config echidna/addressWhitelist.yaml TEST || 
147147            echo "export FAILED=true" >> $BASH_ENV 
148148no_output_timeout : 20m 
149149      - run :
150-           command : |   
150+           command : | 
151151            slither-flat --convert-external contracts/controller.sol && 
152-             echidna-test echidna/controller.sol --config echidna/controller.yaml TEST ||   
153-             echo "export FAILED=true" >> $BASH_ENV    
152+             echidna-test echidna/controller.sol --config echidna/controller.yaml TEST || 
153+             echo "export FAILED=true" >> $BASH_ENV 
154154no_output_timeout : 20m 
155155      - run :
156-           command : |   
157-             echidna-test echidna/date.sol --config echidna/date.yaml TEST ||   
156+           command : | 
157+             echidna-test echidna/date.sol --config echidna/date.yaml TEST || 
158158            echo "export FAILED=true" >> $BASH_ENV 
159159no_output_timeout : 20m 
160160      - run :
161-           command : |   
162-             echidna-test echidna/ecRecover.sol --config echidna/ecRecover.yaml TEST ||   
161+           command : | 
162+             echidna-test echidna/ecRecover.sol --config echidna/ecRecover.yaml TEST || 
163163            echo "export FAILED=true" >> $BASH_ENV 
164164no_output_timeout : 20m 
165165      - run :
166-           command : |   
167-             echidna-test echidna/ecRecover.sol --config echidna/ecRecover.yaml TEST ||   
166+           command : | 
167+             echidna-test echidna/ecRecover.sol --config echidna/ecRecover.yaml TEST || 
168168            echo "export FAILED=true" >> $BASH_ENV 
169169no_output_timeout : 20m 
170170      - run :
171-           command : |   
172-             echidna-test echidna/gasTopUpLimit.sol --config echidna/gasTopUpLimit.yaml TEST ||   
171+           command : | 
172+             echidna-test echidna/gasTopUpLimit.sol --config echidna/gasTopUpLimit.yaml TEST || 
173173            echo "export FAILED=true" >> $BASH_ENV 
174174no_output_timeout : 20m 
175175      - run :
176-           command : |   
177-             echidna-test echidna/ownable.sol --config echidna/ownable.yaml TEST ||   
176+           command : | 
177+             echidna-test echidna/ownable.sol --config echidna/ownable.yaml TEST || 
178178            echo "export FAILED=true" >> $BASH_ENV 
179179no_output_timeout : 20m 
180180      - run :
181-           command : |   
182-             echidna-test echidna/parseJson.sol --config echidna/parseJson.yaml TEST ||   
181+           command : | 
182+             echidna-test echidna/parseJson.sol --config echidna/parseJson.yaml TEST || 
183183            echo "export FAILED=true" >> $BASH_ENV 
184184no_output_timeout : 20m 
185185      - run :
186-           command : |   
187-             echidna-test echidna/spendLimit.sol --config echidna/spendLimit.yaml TEST ||   
186+           command : | 
187+             echidna-test echidna/spendLimit.sol --config echidna/spendLimit.yaml TEST || 
188188            echo "export FAILED=true" >> $BASH_ENV 
189189no_output_timeout : 20m 
190190      - run :
191-           command : |   
192-             echidna-test echidna/stringProps.sol --config echidna/stringProps.yaml TEST ||   
191+           command : | 
192+             echidna-test echidna/stringProps.sol --config echidna/stringProps.yaml TEST || 
193193            echo "export FAILED=true" >> $BASH_ENV 
194194no_output_timeout : 20m 
195195      - run :
@@ -217,7 +217,7 @@ workflows:
217217          filters :
218218            tags :
219219              ignore : " " 
220-       - echidna :
221-           filters :
222-             tags :
223-               ignore : " " 
220+       #   - echidna:
221+       #       filters:
222+       #         tags:
223+       #           ignore: ""
0 commit comments