Skip to content

Instantly share code, notes, and snippets.

@KKostya

KKostya/counterexample_ranges.ml

Created July 26, 2018 14:36
Show Gist options
  • Save KKostya/465781bd66a8bb063194d6320acd56bd to your computer and use it in GitHub Desktop.
Save KKostya/465781bd66a8bb063194d6320acd56bd to your computer and use it in GitHub Desktop.
Download ZIP
Raw
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}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment