#
# ChangeLog for tests/test_util.sh
#
# Generated by Trac 1.2
# May 12, 2024 6:02:41 PM

Thu, 03 Oct 2013 22:54:37 GMT Ted Faber <faber@…> [3789e66]

	Make sure tests can find prover


Fri, 13 Sep 2013 05:01:44 GMT Mei <mei@…> [831da18]

	1) getting ready to for 0.1.6


Tue, 27 Aug 2013 20:41:22 GMT Mei <mei@…> [4f79997]

	1) add a new scaling test -haystack/ralphs
	2) tweak some libabac ...


Wed, 14 Aug 2013 16:22:08 GMT Mei <mei@…> [1bf0f03]

	1) save a copy before fixup of tests directory


Thu, 11 Jul 2013 22:37:01 GMT Mei <mei@…> [3c30b59]

	1) add in new refactored regression testing directory
	2) undo the ...