Omar 56c2fe8c0c Parallelize Cases (#109) ...

* Parallelize over cases

* Rename the state and driver

* Parallelize execution

* Update the default config of the tool

* Make codebase async

* Fix machete

* Fix tests & clear node directories before startup

* Cleanup the cleanup logic

* Rename geth node

2025-08-01 11:00:08 +00:00

..

assets/array_one_element

Support multiple compiler versions (#92)

2025-07-30 04:56:23 +00:00

lib.rs

Parallelize Cases (#109)

2025-08-01 11:00:08 +00:00