LACS unit test bugipbb.sac gets wrong answers with -doawlf -nowlf
|Created on||Apr 21, 2013 19:34|
|Resolved on||Apr 23, 2013 17:17|
sac2c -V sac2c v1.00-beta (Haggis And Apple) developer rev 18100 linux-gnu_x86_64 (Sat Apr 20 18:14:29 EDT 2013 by sac) Naked AWLF appears to be the indirect culprit here, as AWLF thinks that a naked consumer sel(iv, PWL) with index set [0,0]->[11,11] has exactly one intersect with a two-partition PWL with bounds: P0: [0,0] -> [10, 11] P1: [10,0] -> [11, 11] The partition bounds and iv extrema look correct to me.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information