Add tests

Open favonia opened this issue 3 years ago • 1 comments

Apr 06 '22 15:04 favonia

Now we have testing for the internal reachability library, but the whole theory was not tested.

May 27 '22 13:05 favonia