runtimeverification / simbolik-vscode

BSD 3-Clause "New" or "Revised" License
12 stars 2 forks source link

Isolate anvil node per debugging session #6

Closed lisandrasilva closed 4 months ago

lisandrasilva commented 4 months ago

The anvil node is launched when the extension is activated and shared by all debugging sessions. When inspecting the cold storage, one can see that there are as many addresses for the contract being debugged as many debugging sessions (even the ones already finished appear in the cold storage of debugging sessions created afterward). This PR launches the anvil node when the debugging session starts and shuts it down when the session finishes. Therefore, all debugging sessions have their own isolated anvil node, and the cold storage issue was fixed.