add Queue formal proof
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 5 Aug 2022 04:46:24 +0000 (21:46 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 5 Aug 2022 04:46:24 +0000 (21:46 -0700)
commit04fb37e19b907b49a7f7a1c7db27716f99b67c6a
tree3147583658d88db62a51464e5bf63076d372b871
parent6e8678a9beabcc1577a1d789a211c0272fda10f6
add Queue formal proof
src/nmutil/formal/test_queue.py [new file with mode: 0644]
src/nmutil/queue.py