• Top

• Atc-symbolic-execution-rules

*atc-exec-expr-call-rules*

Definition: *atc-exec-expr-call-rules*

(defconst *atc-exec-expr-call-rules*
          '(exec-expr-call-open))