[acl2/acl2] 2d54ef: Add testing utility.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 2d54ef2c316c5fe17e5f639f368fc6fbffd0069a
https://github.com/acl2/acl2/commit/2d54ef2c316c5fe17e5f639f368fc6fbffd0069a
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-09-27 (Tue, 27 Sep 2016)

Changed paths:
M books/kestrel/utilities/testing.lisp

Log Message:
-----------
Add testing utility.

The ASSERT-EQUAL macro abbreviates a call of ASSERT-EVENT with EQUAL.

Also tweaked the file headers and the documentation of the testing utilities.


Commit: 7b1ffadedcacef43a239a5ac823f269167a167e1
https://github.com/acl2/acl2/commit/7b1ffadedcacef43a239a5ac823f269167a167e1
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-09-28 (Wed, 28 Sep 2016)

Changed paths:
M books/kestrel/utilities/applicability-conditions-tests.lisp
M books/kestrel/utilities/characters-tests.lisp
M books/kestrel/utilities/defchoose-queries-tests.lisp
M books/kestrel/utilities/defun-sk-queries-tests.lisp
M books/kestrel/utilities/fresh-names-tests.lisp
M books/kestrel/utilities/install-not-norm-event-tests.lisp
M books/kestrel/utilities/integers-from-to-tests.lisp
M books/kestrel/utilities/numbered-names-tests.lisp
M books/kestrel/utilities/strings-tests.lisp
M books/kestrel/utilities/terms-tests.lisp
M books/kestrel/utilities/world-queries-tests.lisp

Log Message:
-----------
Use the newly added ASSERT-EQUAL in tests.


Commit: deaa7cfd974d50ae5b730b3b5fa23f9940671d28
https://github.com/acl2/acl2/commit/deaa7cfd974d50ae5b730b3b5fa23f9940671d28
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-09-28 (Wed, 28 Sep 2016)

Changed paths:
M books/kestrel/utilities/testing-tests.lisp

Log Message:
-----------
Add a test for ASSERT-EQUAL.


Compare: https://github.com/acl2/acl2/compare/430e27459a69...deaa7cfd974d

[GitHub]

Branch: refs/heads/master