"incomplete" debug messages printed

[Ordoviz]

When calculating the treewidth of some graphs the debug message "incomplete /usr/include/treedec/exact_cutset.hpp:603:q_explore_cutsets" is printed to stdout. The calculated treewidths are correct so this is only a minor annoyance.

sage: for graph6 in ['J~~~~|_gM@_', 'K~~~~|Og@`wE', 'K~~~~{oSD@wE', 'K~~~~z{WD?wB']:
....:     Graph(graph6).treewidth()
....:
incomplete /usr/include/treedec/exact_cutset.hpp:603:q_explore_cutsets
7
incomplete /usr/include/treedec/exact_cutset.hpp:603:q_explore_cutsets
7
incomplete /usr/include/treedec/exact_cutset.hpp:603:q_explore_cutsets
7
incomplete /usr/include/treedec/exact_cutset.hpp:603:q_explore_cutsets
6

I am using the treedec 0.9.3 package from Arch Linux via SageMath 10.6.beta3.

The messages come from a block of code that does not appear to be well-tested:

tdlib/src/exact_cutset.hpp

Lines 602 to 608 in 62063ac

	if(cutred_bag.size() + cmps <= _bagsize){ untested();
	incomplete(); // can still happen in q_root_cutset. cleanup...
	// use leaf trick...
	td_vd leaf=boost::add_vertex(*this);
	BOOST_AUTO(& target, bagdraft::bag(*this, leaf));
	target.push_back(celt);
	boost::add_edge(leaf, parent, *this); // HERE??!

so I hope the graphs I provided might be useful for testing. I have attached the four graphs in .gr format:

• 0.txt
• 1.txt
• 2.txt
• 3.txt