https://bugzilla.novell.com/show_bug.cgi?id=381908
User schubi@novell.com added comment
https://bugzilla.novell.com/show_bug.cgi?id=381908#c5
Stefan Schubert changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |schubi@novell.com
AssignedTo|zypp-maintainers@forge.provo.novell.com |mls@novell.com
--- Comment #5 from Stefan Schubert 2008-04-22 09:12:20 MST ---
Currently a segfault will be generated:
/usr/local/src/solver2/trunk/sat-solver/build/testsuite/deptestomatic
solver-test.xml
deptestomatic: /usr/local/src/solver2/trunk/sat-solver/src/solver.c:2254:
run_solver: Assertion `dq.count > 1' failed.
I have added a testcase which can be run under the SAT testsuite too.
--
Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.