Hello,
On Sun, May 26, 2019 at 08:36:27PM +0930, sur-behoffski wrote:
> ...
> [I'm simply working off of the one presentation by Gerald Holzmann in
> making up this description... if I am wrong, corrections would be very
> welcome.]
The details provided in
Mars Code
By Gerard J. Holzmann
G'day,
[Cross-posting again to lua-l, as I have some questions about code
coverage (e.g. Valgrind), and I believe that the IM/CD/IUP modules
are only a short distance away from achieving a significantly
higher level of "Code Cleanliness" -- but this goal needs help
from the community.]
I've seen