test-p05.soar

# Reverse a list

test "P05: Reverse a list" {
  sp {pass
    (state <s> ^superstate nil)
  -->
    (pass |See bebot*list*reverse for implementation of problem 5|)
  }
}