Skip to content

Instantly share code, notes, and snippets.

@aviggiano
Created April 17, 2023 03:28
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save aviggiano/496bc5f532784b2781b81406912ab8a7 to your computer and use it in GitHub Desktop.
Save aviggiano/496bc5f532784b2781b81406912ab8a7 to your computer and use it in GitHub Desktop.
Uniswap/v3-core echidna instance type benchmark (by fuzzy.fyi)
id ref cmd createdAt updatedAt instanceType
038dea31-c163-4eb5-8cf0-cfc2a90556a5 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract LowGasSafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 10000 2023-04-13 20:21:26 2023-04-13 20:23:10 c5.xlarge
38f2e62f-e681-4b2f-abe9-70e78ca0a106 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickBitmapEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 10000 2023-04-13 20:20:57 2023-04-13 20:27:48 c5.xlarge
0f1a0b7d-6c24-4c11-8724-8a429cba00e3 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SqrtPriceMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-15 18:10:51 2023-04-15 18:17:48 c5.xlarge
690dc0e6-6f50-4522-8e8e-752f475a7613 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickOverflowSafetyEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-15 18:10:56 2023-04-15 18:13:49 c5.xlarge
3b3a22d8-d126-443d-9adc-2077a0227992 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SwapMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-15 18:10:53 2023-04-15 18:16:21 c5.xlarge
06cd8487-d888-4102-96d2-a8b0eeacbb60 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract OracleEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-15 18:10:58 2023-04-15 18:53:47 c5.xlarge
654542f2-d042-40ec-ae7e-1cf88c29fd20 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract BitMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-15 18:11:00 2023-04-15 18:14:04 c5.xlarge
88332bd8-cc0b-4bac-944d-8e224a93833c main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-15 18:10:54 2023-04-15 18:12:54 c5.xlarge
6c6aa33b-00cc-479c-b85a-8eb58cec019b main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-15 18:10:50 2023-04-15 18:16:41 c5.xlarge
789345e9-6651-4dae-8195-3f1f6b36c08d main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract LowGasSafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-15 18:38:15 2023-04-15 18:40:21 c5.xlarge
e2ff111f-c4a3-442b-b763-002f59237511 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract UnsafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-15 18:38:17 2023-04-15 18:40:27 c5.xlarge
4c95808b-3a8f-4bf9-846e-8b5ae2e2655b main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract FullMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-15 18:38:19 2023-04-15 18:41:55 c5.xlarge
e7f9c938-cf98-45f5-8433-6ac461a704c8 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickBitmapEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-15 18:10:48 2023-04-15 19:14:42 c5.xlarge
e4657900-1f1b-40f6-878b-8cf4d1355cbb main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SwapMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-16 15:04:00 2023-04-16 15:10:43 t3.micro
84112153-8425-496a-a451-c182a3fb9f2d main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract OracleEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-16 15:04:05 2023-04-16 15:54:02 t3.micro
8ceae7b8-0c70-4a42-bbc4-1188ffb5c548 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SqrtPriceMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-16 15:03:56 2023-04-16 15:11:52 t3.micro
c2ff3cab-d5d9-4334-8a3b-b6e1241d426c main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract UnsafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-16 15:04:11 2023-04-16 15:07:03 t3.micro
a8518655-3f66-4af5-b9cf-8b16e521e1fe main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract BitMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-16 15:04:07 2023-04-16 15:07:44 t3.micro
b2830395-084e-405a-a3a9-cad59eec8c7f main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract FullMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-16 15:04:12 2023-04-16 15:08:37 t3.micro
22b2441e-c1fd-4fc5-9628-df8cfe77f395 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickOverflowSafetyEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-16 15:04:03 2023-04-16 15:07:07 t3.micro
40df9ab9-a5d3-43df-978c-5243c7609db8 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-16 15:04:01 2023-04-16 15:06:43 t3.micro
24365eec-9896-4937-8e28-cd189c302cbd main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract LowGasSafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-16 15:04:09 2023-04-16 15:07:17 t3.micro
bbfb358a-9724-4a95-9160-85594560a690 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-16 15:03:54 2023-04-16 15:10:32 t3.micro
63c1d690-ef09-4556-b57d-57ea774a8334 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickBitmapEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-16 15:03:52 2023-04-16 16:24:24 t3.micro
ef46b79e-3507-45af-b48e-7b91297f980c main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SqrtPriceMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 16:34:11 2023-04-14 16:36:25 t3.large
26fe2560-7c47-4e94-8eba-3ff723964683 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract OracleEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 16:34:18 2023-04-14 16:37:35 t3.large
8c837dfd-4012-44fa-afe4-0990ab6ca1ee main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SwapMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 16:34:13 2023-04-14 16:36:19 t3.large
20ba3583-eb08-456e-9b98-0eeb6c8c8368 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 16:34:10 2023-04-14 16:36:20 t3.large
84036822-e89f-4260-9d36-1e72398a7520 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 16:34:15 2023-04-14 16:36:20 t3.large
148530ad-2b4f-4f69-9ce1-25659c423f41 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickOverflowSafetyEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 16:34:17 2023-04-14 16:36:23 t3.large
92dbf105-a6cf-4bdf-9ef0-6038b3c576d3 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract UnsafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 16:34:24 2023-04-14 16:36:24 t3.large
0a39753b-d303-4c34-8864-2baf7bf10f89 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract BitMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 16:34:20 2023-04-14 16:36:28 t3.large
5d62bcd0-80eb-45d1-bc26-bfe1b89c15f5 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract FullMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 16:34:26 2023-04-14 16:36:28 t3.large
617dacfc-0700-4b6c-8e2d-7d68df4d896e main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract LowGasSafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 16:34:22 2023-04-14 16:36:32 t3.large
52fd476f-a33f-4230-9945-31eeb25a40e1 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickBitmapEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 16:34:08 2023-04-14 16:37:22 t3.large
e62ae475-fc80-49ee-8308-781d919fb25f main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SqrtPriceMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 17:00:27 2023-04-14 17:08:00 t3.large
cc4e4f10-9071-4cb3-ac0a-90aa4abf3f4e main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 17:00:31 2023-04-14 17:09:03 t3.large
787a1a50-15e8-4f55-8453-7f1c12c5cdfe main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickOverflowSafetyEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 17:00:34 2023-04-14 17:03:24 t3.large
c4493fcd-01fe-43e1-9ce4-eb421accae7f main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SwapMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 17:00:29 2023-04-14 17:06:40 t3.large
0a7c9c6f-8779-4593-9d7c-7f3dbe0ba0ee main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract BitMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 17:00:38 2023-04-14 17:03:28 t3.large
e2cab0b8-3b7d-44ff-a6dd-a51189ad5a36 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract UnsafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 17:00:43 2023-04-14 17:03:49 t3.large
8f2ddc9f-857e-4ef7-a168-d10dc6a8765b main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract FullMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 17:00:45 2023-04-14 17:04:58 t3.large
a4fef2e9-cd58-423e-9881-dcbbfbae84ba main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract LowGasSafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 17:00:41 2023-04-14 17:06:38 t3.large
f067012d-a136-4b27-9ff2-32701ba88d5b main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 17:00:25 2023-04-14 17:07:29 t3.large
c849adbb-f14c-45ae-bbde-08b4b250bc07 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract OracleEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 17:00:36 2023-04-14 17:54:46 t3.large
b09f9bff-c78c-4e29-82ca-4346a50cb856 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickBitmapEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 17:00:23 2023-04-14 18:10:55 t3.large
aed7adec-0b7b-4291-bf12-352100b3e6e4 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 18:55:23 2023-04-14 18:57:14 m5.large
652aca6c-2cc9-477c-827e-67386e795c6b main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickOverflowSafetyEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 18:55:25 2023-04-14 18:57:20 m5.large
87d21a17-b6df-48c2-ad6e-14972abeb099 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SqrtPriceMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 18:55:20 2023-04-14 18:57:16 m5.large
13ad59b8-86d0-48a6-a5a4-13e68ab02b34 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract BitMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 18:55:29 2023-04-14 18:57:21 m5.large
dee1c5dd-e3d4-419e-99cf-61858655e6db main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract UnsafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 18:55:33 2023-04-14 18:57:27 m5.large
b0c4d514-9ae3-482f-8c58-8c280298d088 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract FullMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 18:55:35 2023-04-14 18:57:30 m5.large
21fa1750-8d01-418f-b061-536431eb5af9 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract OracleEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 18:55:27 2023-04-14 18:57:52 m5.large
7842dc7d-a05b-4700-9a88-9132ac2294fa main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 18:55:18 2023-04-14 18:57:13 m5.large
828afd55-0912-4bca-883d-a9a6fbce66e6 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SwapMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 18:55:22 2023-04-14 18:57:18 m5.large
eb709115-a3a3-4465-affa-44d02344c433 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract LowGasSafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 18:55:31 2023-04-14 18:57:30 m5.large
64b749e8-2d3c-4b9c-a806-61df44d78087 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickBitmapEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 18:55:16 2023-04-14 18:57:56 m5.large
6b531a5e-7e78-446f-838d-6d692b6c2a52 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SwapMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 19:27:17 2023-04-14 19:34:06 m5.large
e01bf96a-b3cd-40ae-8095-5094b29a5431 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract OracleEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 19:27:22 2023-04-14 20:22:40 m5.large
3ed73f4d-04ee-4290-8eb7-0a159f4b917d main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract FullMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 19:27:29 2023-04-14 19:31:20 m5.large
9f32fc37-1214-48d2-8ef7-dae2a3de91f3 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 19:27:18 2023-04-14 19:30:04 m5.large
1ee8ac8e-a2bc-420a-96b3-4b13665abcb6 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 19:27:12 2023-04-14 19:33:17 m5.large
4207c70f-e6b2-426a-b528-b5e5203eaa23 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickOverflowSafetyEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 19:27:20 2023-04-14 19:30:10 m5.large
d4cf1f76-1b23-4d44-961b-99b21beea4fb main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SqrtPriceMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 19:27:14 2023-04-14 19:34:14 m5.large
7731397b-ac7a-4c7f-aa81-2625cb5e4a82 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract BitMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 19:27:24 2023-04-14 19:29:59 m5.large
1bdf271f-d53c-4abf-83e3-15a34f657dc2 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract LowGasSafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 19:27:26 2023-04-14 19:30:01 m5.large
a8660c3d-2330-4dda-97b1-f524d576137c main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract UnsafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 19:27:27 2023-04-14 19:30:01 m5.large
b8c663b6-3f30-4f49-ac8d-d57da998c526 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickBitmapEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 19:27:10 2023-04-14 20:33:27 m5.large
e72cdf35-c78e-4ad9-8c26-d8b3d041ca85 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 20:45:51 2023-04-14 20:47:55 c5.large
8611fa92-d52a-45de-a71e-0754b9395d70 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract UnsafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 20:46:19 2023-04-14 20:48:07 c5.large
181c889c-fd90-4ce5-96cf-4819dadcb95b main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract FullMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 20:46:20 2023-04-14 20:48:09 c5.large
63209d5f-3489-45c8-85cb-01a6ee805bd7 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SqrtPriceMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 20:45:53 2023-04-14 20:47:56 c5.large
dbe956d1-dc16-4db4-80ad-b8f6a6f1db25 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract OracleEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 20:46:05 2023-04-14 20:48:09 c5.large
5485678c-f846-4930-a926-11320cf128bd main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickBitmapEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 20:45:49 2023-04-14 20:48:12 c5.large
d3785b7b-0747-4d9d-9591-f8b93fe71d6a main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 20:46:00 2023-04-14 20:47:45 c5.large
631ab6c6-1e3b-41ec-ad7e-18f47ed04b18 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SwapMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 20:45:55 2023-04-14 20:47:45 c5.large
3fa55fc7-4d4d-441d-a0f9-5be64f2c0e67 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickOverflowSafetyEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 20:46:03 2023-04-14 20:47:50 c5.large
89690d73-5835-438c-8502-a1386ade2baa main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract BitMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 20:46:15 2023-04-14 20:47:57 c5.large
c995c2f2-ce85-416d-9cc4-b51a0621dd41 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract LowGasSafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 1000 2023-04-14 20:46:17 2023-04-14 20:48:02 c5.large
b5a51081-2eda-4bda-93b0-bb46b058562e main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 22:01:23 2023-04-14 22:07:25 c5.large
73419efd-d572-41bc-9dbc-547ab850d2a5 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SwapMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 22:01:27 2023-04-14 22:06:55 c5.large
66a2929c-28f4-4683-b6df-8a4465020405 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 22:01:29 2023-04-14 22:03:39 c5.large
edace603-2a80-49bc-9b28-03e0b3813119 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract UnsafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 22:01:41 2023-04-14 22:04:02 c5.large
c0ff2287-9a77-4e24-8757-91a9a2fe367a main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract BitMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 22:01:37 2023-04-14 22:04:05 c5.large
413c7754-a752-4b3c-be83-95468a0ee28f main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickOverflowSafetyEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 22:01:31 2023-04-14 22:04:06 c5.large
598fed0f-2033-48fa-a93f-800dd3f30c57 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract LowGasSafeMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 22:01:39 2023-04-14 22:04:40 c5.large
53cda01e-fd4f-4feb-82aa-2ee461242b3b main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract FullMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 22:01:43 2023-04-14 22:05:16 c5.large
cd8d3577-235d-49fc-9418-53af7898fbdb main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract SqrtPriceMathEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 22:01:25 2023-04-14 22:08:14 c5.large
e89d9df9-945b-4702-9800-33689309dac8 main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract OracleEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 22:01:34 2023-04-14 22:49:24 c5.large
cbe03542-e1ee-4c3e-a636-2974c5e4440c main yarn install --frozen-lockfile && solc-select install 0.7.6 && solc-select use 0.7.6 && echidna . --contract TickBitmapEchidnaTest --test-mode assertion --corpus-dir echidna --test-limit 100000 2023-04-14 22:01:20 2023-04-14 23:08:15 c5.large
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment