5 Commits

Author	SHA1	Message	Date
Ettore Di Giacinto	b29ce651b9	Expose Uses to interface	2019-06-12 21:32:15 +02:00
Ettore Di Giacinto	caa7c788ec	Drop State from package ... Also tests for Clone()	2019-06-12 20:57:39 +02:00
Ettore Di Giacinto	9f3f715324	Add BuildFormula and ReuiresContains tests	2019-06-11 23:38:16 +02:00
Ettore Di Giacinto	3f762070fe	Add tests	2019-06-11 23:18:16 +02:00
Ettore Di Giacinto	ff582ce77c	Enhance Uninstall and resolve conflict sets ... Compute a minimum conflict set over the uninstall. Adds also tests for specific cases covered by Uninstall now	2019-06-11 18:03:50 +02:00