diff --git a/seinfoflow b/seinfoflow index a74e1f6..9c97744 100755 --- a/seinfoflow +++ b/seinfoflow @@ -103,6 +103,7 @@ try: m = setools.PermissionMap(args.map) g = setools.InfoFlowAnalysis(p, m, min_weight=args.min_weight, exclude=args.exclude, booleans=booleans) + if args.shortest_path or args.all_paths: if args.shortest_path: paths = g.all_shortest_paths(args.source, args.target)