jaber-the-great / Seagull-Network-verification

Repository of Large scale privacy preserving network verification
0 stars 0 forks source link

Data input for loop detection algorithm #1

Closed jaber-the-great closed 1 year ago

jaber-the-great commented 1 year ago

@sumaddury @cskitty Johnson and Tarjan loop detection algorithms issue: Instead of reading the edge information from the file and generating the graph, the code manually generates the graph. Should be corrected.

cskitty commented 1 year ago

The edge information reading from file was just for self-testing/checking the code worked in version 1; the actual running of the code is the function experiment 001 in the file Code/paper_code/experiment_4_paper.py

jaber-the-great commented 1 year ago

Got it. We may need more commenting and documentations in the code.