saji/yosys4gal
1
0
Fork 0
mirror of https://github.com/annoyatron255/yosys4gal.git synced 2024-12-22 18:52:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

add unused-row assertion

Browse source
This commit is contained in:
saji 2024-05-05 01:46:01 -05:00
parent d3c498231e
commit e5a1f84bf8
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
compiler/src/fitter.rs
View file

@ -96,6 +96,7 @@ fn map_remaining_olmc(
Ok(x) Ok(x)
} }
None => { None => {
assert!(!unused.is_empty(), "should have rows available");
let minsize = unused.iter().map(|x| x.1).min().unwrap(); let minsize = unused.iter().map(|x| x.1).min().unwrap();
Err(MappingError::SopTooBig { Err(MappingError::SopTooBig {
name: sop.name.unwrap(), name: sop.name.unwrap(),