
21 Dec
2008
21 Dec
'08
09:56
Hi, I am running into a problem where the satsolver is triggering an abort call in assert(dq.count > 1) in run_solver(). The comment above the call doesn't explain it: /* dq.count < 2 cannot happen as this means that * the rule is unit */ What does a dq.count <= 1 mean, and what does that comment mean? Thanks, Matt -- Matt Barringer, Software Engineer SUSE Linux Products GmbH, GF: Markus Rex, HRB 16746 (AG Nürnberg) http://susestudio.com http://www.novell.com/linux