Skip to content

Commit a85393d

Browse files
committed
chore(integer): add determinism check for sum
1 parent 0280dbe commit a85393d

File tree

1 file changed

+5
-2
lines changed
  • tfhe/src/integer/server_key/radix_parallel/tests_unsigned

1 file changed

+5
-2
lines changed

tfhe/src/integer/server_key/radix_parallel/tests_unsigned/test_sum.rs

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -175,10 +175,13 @@ where
175175
.collect::<Vec<_>>();
176176

177177
let ct_res = executor.execute(&ctxts).unwrap();
178-
let ct_res: u64 = cks.decrypt(&ct_res);
178+
let res: u64 = cks.decrypt(&ct_res);
179179
let clear = clears.iter().sum::<u64>() % modulus;
180180

181-
assert_eq!(ct_res, clear);
181+
assert_eq!(res, clear);
182+
183+
let ct_res_2 = executor.execute(&ctxts).unwrap();
184+
assert_eq!(ct_res, ct_res_2, "Failed determinism check");
182185
}
183186
}
184187
}

0 commit comments

Comments
 (0)