LACS unit test bugipbb.sac gets wrong answers with -doawlf -nowlf
|
|
Bugzilla Link |
1067 |
Created on |
Apr 21, 2013 19:34 |
Resolution |
FIXED |
Resolved on |
Apr 23, 2013 17:17 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Extended Description
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.