sosy-lab/sv-witnesses

Examples do not match documentation

tautschnig opened this issue · 1 comments

The documentation describes a control node, which indeed also is used by the minepump example. In that example, however, there also is a sourcecode node that does not exist in the documentation.

Fixed.