Issue when output nodes are stuck-at-0

d-kfmnn / amulet2

AMulet 2. - A better AIG Multiplier Examination Tool

MIT License

20 stars 4 forks source link

Issue when output nodes are stuck-at-0 #2

Closed vkrao100 closed 3 years ago

vkrao100 commented 3 years ago

Hi Daniela,

Great tool and concept.

I see an issue with the tool throwing a segmentation exception when any output node is stuck-at-0 (wiring fault). Attached a test case for the same (aig and blif). test_case_s-a-0.zip

Thanks, Vikas University of Utah

vkrao100 commented 3 years ago

d-kfmnn

d-kfmnn commented 3 years ago

Hi Vikas,

thank you for reaching out. I don't immediately see what's causing the issue. Let me check it out.

Thanks for the test case. Best Daniela

d-kfmnn commented 3 years ago

Hi Vikas,

there were some exceptions missing for the case when an output is not wired. The issue should now be fixed.

Best Daniela