Skip to content

Commit 9d6bdb2

Browse files
committed
Fixed a bug with CSR2 pub tables near e600 tau
1 parent 2d80470 commit 9d6bdb2

1 file changed

Lines changed: 4 additions & 2 deletions

File tree

src/Theories/CTs/CSR2.ts

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -230,12 +230,14 @@ class csr2Sim extends theoryClass<theory> {
230230
|| this.recursionValue[1] === 0
231231
) await this.buyVariablesFork();
232232
if (this.lastPub < 500) this.updateMilestones();
233-
if (this.forcedPubRho == 1500 && this.maxRho >= 1495 && this.doContinuityFork) {
233+
if (this.forcedPubRho == 1500 && this.maxRho >= 1497 && this.doContinuityFork) {
234234
this.doContinuityFork = false;
235235
const fork = this.copy();
236236
fork.forcedPubRho = Infinity;
237237
const res = await fork.simulate(this.getDataForCopy());
238-
this.bestRes = getBestResult(this.bestRes, res);
238+
if (res.pubRho > 1500) {
239+
this.bestRes = getBestResult(this.bestRes, res);
240+
}
239241
}
240242
}
241243
if (this.recursionValue[1] === 1 || this.strat !== "CSR2XL")

0 commit comments

Comments
 (0)