redundant cycles

Issue #155 invalid
Michael Eichberg
repo owner created an issue

"HandlingResult(135,CSCCsResult(List(ArrayBuffer(EPK(j@7499fd82,pkName=ReachableNodes(t=81461621529242),pkId=10), EPK(i@419acb96,pkName=ReachableNodes(t=81461621529242),pkId=10), EPK(h@2f991f06,pkName=ReachableNodes(t=81461621529242),pkId=10)), ArrayBuffer(EPK(b@5e081c26,pkName=ReachableNodes(t=81461621529242),pkId=10), EPK(d@16fc2241,pkName=ReachableNodes(t=81461621529242),pkId=10), EPK(e@63eb1200,pkName=ReachableNodes(t=81461621529242),pkId=10), EPK(r@16ae1333,pkName=ReachableNodes(t=81461621529242),pkId=10)), ArrayBuffer(EPK(h@2f991f06,pkName=ReachableNodesCount,pkId=4), EPK(j@7499fd82,pkName=ReachableNodesCount,pkId=4), EPK(i@419acb96,pkName=ReachableNodesCount,pkId=4)))),false,Set())"

Comments (2)

  1. Log in to comment