Cherry picked cef3276521ba005fa30af46130dba2836347b1ae

2024-09-16 08:29:40 -07:00
parent cd42f51f1a
commit 8ac09025f5
13 changed files with 246 additions and 89 deletions
--- a/crates/aiken-lsp/src/server/lsp_project.rs
+++ b/crates/aiken-lsp/src/server/lsp_project.rs
@@ -38,6 +38,7 @@ impl LspProject {
            PropertyTest::DEFAULT_MAX_SUCCESS,
            Tracing::verbose(),
            None,
+            false,
        );

        self.project.restore(checkpoint);