7.2.3 venture ¶

Syntax ¶

(venture traversal ...)

or

(try traversal ...)

Description ¶

Execute a sequence of traversals in order. If the venture is partially completed, i.e. if at least one traversal was executed, then the venture is treated as successful. Otherwise it is considered to have failed.

Examples ¶

"Venture to go forward, then up, and then forward again."

(symex-eval
  (symex-traversal
    (try (move forward)
         (move up)
         (move forward))))

"Go up and then all the way forward, and then try going up again."

(symex-eval
  (symex-traversal
    (try (do (move up)
             (repeat (move forward)))
         (move up))))