Skip to content

Instantly share code, notes, and snippets.

@KKostya

KKostya/no_moving_back_wrong.ml

Last active July 26, 2018 14:16
Show Gist options
  • Save KKostya/72e9d7b97ed8c6569feec63bb5ae2b6c to your computer and use it in GitHub Desktop.
Save KKostya/72e9d7b97ed8c6569feec63bb5ae2b6c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
no_moving_back_wrong.ml
let no_moving_back msg =
let open Geometry_msgs in
match msg with None -> true
| Some (Twist data) -> data.twist_linear.vector3_x >= 0
verify ( fun state -> no_moving_back (one_step state).outgoing )
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment