blob: 5d42a6ec50e55a37567dd4de47de99639dd0b84a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
;;; Guile-ACL2 --- Guile's ACL2 compiler
;;; Copyright © 2021 Masaya Tojo <masaya@tojo.tokyo>
;;;
;;; This file is part of Guile-ACL2.
;;;
;;; Guile-ACL2 is free software; you can redistribute it and/or modify
;;; it under the terms of the GNU Lesser General Public License as
;;; published by the Free Software Foundation; either version 3 of the
;;; License, or (at your option) any later version.
;;;
;;; Guile-ACL2 is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
;;; Lesser General Public License for more details.
;;;
;;; You should have received a copy of the GNU Lesser General Public
;;; License along with Guile-ACL2. If not, see
;;; <http://www.gnu.org/licenses/>.
(define-module (tests parse-acl2)
#:use-module (srfi srfi-64)
#:use-module (language acl2 parse))
(define (read-acl2-string str)
(call-with-input-string str read-acl2))
(test-begin "test-parse-acl2")
(test-equal "parse-simple-list"
'(A COMPUTATIONAL LOGIC FOR APPLICATIVE COMMON LISP)
(read-acl2-string "(A Computational Logic for Applicative Common Lisp)"))
(test-end "test-parse-acl2")
|
