5188f50f

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Assert that the static leases land with the reset

The split rule puts them there, and nothing said so. Now a test counts the
leases in a file and in the half that is paired with the reset and insists
they are the same number, over every example that is deployable. With the
rule reverted it fails on both of them.

reachable.rsc gained two leases so the test has something to count, which
also means the tool test applies them to a real router.
GitHub

Total

47m30s

Created Started Finished

Time to Start Worker time Duration Time to finish Idle
Config 0s 1s 1s 1s 0s
Eval 1s 7s 7s 8s 0s
Build 7s 47m15s 47m22s 47m30s 7s
Suite 0s 47m23s 47m30s 47m30s 7s