; Copyright (C) 2021, ForrestHunt, Inc.
; Written by Matt Kaufmann
; License: A 3-clause BSD license.  See the LICENSE file distributed with ACL2.

(in-package "ACL2")
(assert-event
(identical-files-p "checkpoints-tests-log.txt" "checkpoints-tests-log.out"))
