sad/raptorq
1
0
Fork 0
mirror of https://github.com/cberner/raptorq.git synced 2024-06-29 18:21:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

Make assertions stricter in Enc[] implementation

Browse Source
This commit is contained in:
Christopher Berner 2019-12-22 17:20:08 -08:00
parent cd4208e5c3
commit a0e304a59d
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/constraint_matrix.rs
View File

@ -22,11 +22,12 @@ pub fn enc_indices(
let p = pi_symbols;
let (d, a, mut b, d1, a1, mut b1) = source_tuple;
assert!(d > 0);
assert!(1 <= a && a < w);
assert!(b < w);
assert!(d1 == 2 || d1 == 3);
assert!(1 <= a1 && a < w);
assert!(b1 < w);
assert!(1 <= a1 && a1 < p1);
assert!(b1 < p1);
let mut indices = Vec::with_capacity((d + d1) as usize);
indices.push(b as usize);