Fix test_result_set_count_sliced_start_none to make sure that slice.end is used.
Fix test_result_set_count_sliced_start_none to make sure that slice.end is used.
PyMamba/mamba-storm,PyMamba/mamba-storm,petrhosek/storm,PyMamba/mamba-storm,petrhosek/storm,petrhosek/storm