tabellion/data/test/combinational_processes, branch master Verification tool for VHDL (or at least the prototype of one). https://www.segfault.tech/cgit.cgi/tabellion/atom?h=master 2017-09-19T12:31:10Z Fixes valid test, adds tests pretty printing. 2017-09-19T12:31:10Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-19T12:31:10Z urn:sha1:d74a7c7ab3f10e9ea6eddb26639cfb6929646793 Making progress on the automated testing... 2017-09-18T14:02:57Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-18T14:02:57Z urn:sha1:900db6294298c1eeb8110b73ef8dafc8175ef4a1 Starting to work on test automation. 2017-09-18T12:36:37Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-09-18T12:36:37Z urn:sha1:80e9830758781e46a283e493a3c2f902969c0bea