@fairfox/polly 0.13.0 → 0.13.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -1943,6 +1943,10 @@ class DockerRunner {
1943
1943
  if (!fs3.existsSync(cfgPath)) {
1944
1944
  throw new Error(`Config file not found: ${cfgPath}`);
1945
1945
  }
1946
+ const statesDir = path3.join(specDir, "states");
1947
+ if (fs3.existsSync(statesDir)) {
1948
+ fs3.rmSync(statesDir, { recursive: true, force: true });
1949
+ }
1946
1950
  const args = [
1947
1951
  "run",
1948
1952
  "--rm",
@@ -1952,6 +1956,7 @@ class DockerRunner {
1952
1956
  "tlc",
1953
1957
  "-workers",
1954
1958
  `${options?.workers || 1}`,
1959
+ "-cleanup",
1955
1960
  `${specName}.tla`
1956
1961
  ];
1957
1962
  const result = await this.runCommand("docker", args, {
@@ -5388,4 +5393,4 @@ main().catch((error) => {
5388
5393
  process.exit(1);
5389
5394
  });
5390
5395
 
5391
- //# debugId=BAA8BB267371BA4D64756E2164756E21
5396
+ //# debugId=10C305880072C68964756E2164756E21