What steps will reproduce the problem?
1. Use TreeMonitor to produce cpviz tree-file in Java code
2. Run the code
What is the expected output? What do you see instead?
Valid tree.xml file is expected.
The code creates tree.xml file with invalid value of "size" attribute of
"<try>" elements: <try id="2" parent="1" name="q0" size="zu" value="3" />
What version of the product are you using? On what operating system?
3795 & 3853 bin distr compiled on MSVS2013-64b
Please provide any additional information below.
The origin of the invalid "zu" value seems to be at the line 442 of
src/constraint_solver/tree_monitor.cc: StringPrintf("%zu",
domain_values->size()))
Attached nqueens2-treemon.java is a modification of sample NQueens2.java. It
adds TreeMonitor to the sample. Run it, to reproduce the problem.
Attached tree.xml is the resulting invalid file.
Original issue reported on code.google.com by jan.hadr...@gmail.com on 27 Feb 2015 at 3:16
Original issue reported on code.google.com by
jan.hadr...@gmail.comon 27 Feb 2015 at 3:16Attachments: