Filtering...

table-alist-plus-tests

books/std/system/table-alist-plus-tests

Included Books

table-alist-plus assert-equal must-succeed-star
other
(in-package "ACL2")
include-book
(include-book "table-alist-plus")
include-book
(include-book "std/testing/assert-equal" :dir :system)
include-book
(include-book "std/testing/must-succeed-star" :dir :system)
other
(must-succeed* (table mytable)
  (table mytable :mykey :myval)
  (assert-equal (table-alist+ 'mytable (w state))
    '((:mykey . :myval))))