search

runtimeverification / simbolik-vscode

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

Added forge clean task #12

Open lisandrasilva opened 3 months ago

lisandrasilva commented 3 months ago

In some cases, when there are previous build artifacts in the out/ directory, the debugger behaves unexpectedly. This PR runs forge clean before running forge build for each debugging session that has the auto build flag set to true.

lisandrasilva commented 3 months ago

The sorting is working correctly. But yes, let's pin down this issue, and if it happens again, I'll try to isolate it and investigate why it's happening.

Can we further pin down the issue and investigate different solutions first? We may not be sorting the build-info files correctly. https://github.com/runtimeverification/simbolik-vscode/blob/master/src/foundry.ts#L95