We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6b82e11 commit 9a0634bCopy full SHA for 9a0634b
1 file changed
src/Theories/CTs/CSR2.ts
@@ -18,7 +18,7 @@ type pubTable = {[key: string]: number};
18
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 = [0.65, 0.15, 0.85, 0, 0];
+const lowboundsPassive = [1, 0.15, 1.35, 0, 0];
22
const highboundsPassive = [2.85, 0.5, 3.3, 1.2, 1.2];
23
24
class csr2Sim extends theoryClass<theory> {
0 commit comments