We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9a0634b commit 26e0a7fCopy full SHA for 26e0a7f
1 file changed
src/Theories/CTs/CSR2.ts
@@ -19,7 +19,7 @@ const lowboundsActive = [0.65, 0.15, 0.85, 0, 0];
19
const highboundsActive = [1.45, 0.5, 1.8, 1.2, 1.2];
20
21
const lowboundsPassive = [1, 0.15, 1.35, 0, 0];
22
-const highboundsPassive = [2.85, 0.5, 3.3, 1.2, 1.2];
+const highboundsPassive = [3.85, 0.5, 3.8, 1.2, 1.2];
23
24
class csr2Sim extends theoryClass<theory> {
25
recursionValue: number[];
0 commit comments