Bug when running TILDE with the uwcse dataset.

[ayydeji]

I am running tilde with the following command:
python3 devmain.py data-mai-experiments/uwcse/t-0-0-0/uwcse keys

from this I am getting the following error:
Traceback (most recent call last): File "devmain.py", line 10, in <module> main() File "devmain.py", line 6, in main real_main.main(argv) File "/home/muhammaa/tilde/mai_version/main.py", line 160, in main run_program(program_settings) File "/home/muhammaa/tilde/mai_version/main.py", line 147, in run_program debug_printing_tree_building=debug_printing, engine=engine) File "/home/muhammaa/tilde/mai_version/run/program_phase.py", line 108, in build_tree tree = tree_builder.get_tree() # type: TreeNode File "/home/muhammaa/tilde/mai_version/trees/TreeBuilder.py", line 121, in get_tree self.example_partitioner.print_statistics() File "/home/muhammaa/tilde/mai_version/classification/example_partitioning.py", line 73, in print_statistics print("mean get_evaluatable duration:", self.sum_get_evaluatable / self.nb_partitions_calculated) ZeroDivisionError: division by zero

Is this a bug than can easily be fixed?

Thank you in advance,

Abdullah