56 Commits

Author	SHA1	Message	Date
Neil Brown	a0c54220e2	Added more tests for the Seq and Par blocks in the control-flow graph	2007-10-28 01:25:44 +00:00
Neil Brown	aea462d41a	Fixed some bugs in the test harness for the control-flow graph	2007-10-28 00:36:27 +00:00
Neil Brown	fbd297e23e	Added more tests for the control-flow graph stuff (for basic Seq and Par blocks)	2007-10-28 00:13:15 +00:00
Neil Brown	9b1cd56050	Changed the identifiers/values on graph nodes in the control-flow graph to be produced monadically, and altered the tests accordingly	2007-10-27 23:59:33 +00:00
Neil Brown	8fa046798a	Tidied up and simplified the test code in FlowGraphTest to operate on lists of nodes/edges, rather than decomposing the graph ... When you decompose a graph, each edge only appears once; on one of the nodes it is attached to. This meant our testing was not working properly. The easier solution is to forget how the graph works underneath, get a list of nodes and a list of edges, then operate on those.	2007-10-27 23:56:44 +00:00
Neil Brown	f0c552663b	Added the initial implementation of a module (and tests) for generating a control-flow graph from an AST ... This implementation needs to be changed; it currently uses Meta as a primary key for nodes, but that isn't valid.	2007-10-27 21:18:55 +00:00