Closed
Description
Our graphs specification defines the following conditions deriving from make_edge()
- queue is recording commands to the graph object.
- if
src
ordest
are not valid nodes assigned to the graph object. - if
src
anddest
are the same node. - cycle discovered on finalization.
We should implement checks for these in the code, and test the exceptions are thrown.