Home My Page Projects Dose: library and tools
Summary Activity Tracker Lists SCM Files

[#19418] dose assume that packages in a universe are indexed starting from zero

Date:
2015-07-15 09:35
Priority:
3
State:
Open
Submitted by:
Vincent Bernardoff (vbmithr)
Assigned to:
Nobody (None)
Summary:
dose assume that packages in a universe are indexed starting from zero

Detailed description
In depsolver_int.ml, line 117, an Array is made assuming that packages in a Cudf universe are indexed starting from zero. This is not necesseraly the case, i.e. when one does:

let u = Cudf.load_universe [] in Cudf.add_package u p

u will then be an universe of one package whose uid is 1.

This happens because Cudf.add_package computes index = size of the universe + 1

No Comments Have Been Posted

No Changes Have Been Made to This Item