[acl2/acl2] 868794: Remove passing test from fails

0 views

Skip to first unread message

unread,

Oct 6, 2015, 6:15:06 PM10/6/15

to acl2-...@googlegroups.com

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 868794da56c280e60f94fba2fff32b669f0dedf3
https://github.com/acl2/acl2/commit/868794da56c280e60f94fba2fff32b669f0dedf3
Author: David L. Rager <rag...@gmail.com>
Date: 2015-10-06 (Tue, 06 Oct 2015)

Changed paths:
M books/centaur/sv/cosims/Makefile

Log Message:
-----------
Remove passing test from fails

Reply all

Reply to author

Forward

0 new messages