KKostya
7/26/2018 - 2:36 PM

counterexample_ranges.ml

- : state =
{mode = Turning; min_range = Some 7719; direction = None;
 incoming =
  Some
   (Sensor
     { Sensor_msgs.laserScan_range_min = 3
     ; laserScan_range_max = 25001
     ; laserScan_ranges = []
     });
 outgoing = None}