github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-05-13 03:00:26 -04:00
Code Issues Packages Projects Releases Wiki Activity

Fix case for no memory access.

Browse Source
This commit is contained in:
chriseth
2023-04-18 11:45:41 +02:00
parent 9a8f72f874
commit b42c8e3832
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/witness_generator/machines/double_sorted_witness_machine.rs
View File

@@ -111,7 +111,13 @@ impl Machine for DoubleSortedWitnesses {
is_read.push((if o.is_write { 0 } else { 1 }).into());
}
if addr.is_empty() {
todo!();
// No memory access at all - fill a first row with something.
addr.push(0.into());
step.push(0.into());
value.push(0.into());
op.push(0.into());
is_write.push(0.into());
is_read.push(0.into());
}
while addr.len() < fixed_data.degree as usize {
addr.push(addr.last().unwrap().clone());