Author: Stan Eisenstat
Subject: Rehashing and the test script
Date: Friday, 10 Apr 2020, 21:25:42

1. Rehashing is now required, not optional.  I have
   posted a revised specification that no longer warns
   that it may be optional.

2. I revised Test #13 and add Test #14 (of reachability)
   to the public test script.

--Stan-