search

ahmed-alllam / AlphaLogos

Boolean Function Analyzer and Synthesis Optimization Tool
http://alpha-logos-1464863388.eu-west-3.elb.amazonaws.com/
MIT License
1 stars 0 forks source link

Minterms not covered by epis #31

Closed MohamedEbrahem1 closed 11 months ago

MohamedEbrahem1 commented 11 months ago

Added a function to return uncovered minterms from a vector of implicants.

ahmed-alllam commented 11 months ago

@MohamedEbrahem1 It seems like the unit tests are failing due to having a wrong include in uncovered_minterms file as #include "minterm.h" is not found. I believe it should be #include "../logic_utils/minterm.h" as your new file is in qm folder while minterm.h is in logic utils. Could you please fix it so we can proceed with the PR?