equal
deleted
inserted
replaced
59 /* excluded sessions */ |
59 /* excluded sessions */ |
60 |
60 |
61 val exclude: Set[String] = |
61 val exclude: Set[String] = |
62 if (base_logics.isEmpty) Set.empty |
62 if (base_logics.isEmpty) Set.empty |
63 else { |
63 else { |
64 Sessions.load_structure(options, dirs = dirs, select_dirs = select_dirs) |
64 Sessions.load_structure(options, dirs = dirs ::: select_dirs) |
65 .selection(Sessions.Selection(sessions = base_logics)) |
65 .selection(Sessions.Selection(sessions = base_logics)) |
66 .build_graph.domain |
66 .build_graph.domain |
67 } |
67 } |
68 |
68 |
69 // test |
69 // test |