mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add final test case, correct one of the others (both versions produced

Browse Source 
same result)
This commit is contained in:
Niko Matsakis 2015-08-21 10:58:32 -04:00
parent 2a25876c58
commit aa469a994c
1 changed files with 22 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/librustc_data_structures/transitive_relation.rs
View File

@ -535,7 +535,7 @@ fn mubs_scc_3() {
let mut relation = TransitiveRelation::new();
relation.add("a", "c");
relation.add("c", "d");
relation.add("e", "e");
relation.add("d", "e");
relation.add("e", "c");
relation.add("b", "d");
relation.add("b", "e");
@ -543,6 +543,24 @@ fn mubs_scc_3() {
assert_eq!(relation.minimal_upper_bounds(&"a", &"b"), vec![&"c"]);
}
/*
"digraph { a -> c -> d -> e -> c; a -> d; b -> e; }"
*/
#[test]
fn mubs_scc_4() {
// +---------+
// v |
// a -> c -> d -> e
// | ^ ^
// +---------+ |
// |
// b ---+
// "digraph { a -> c -> d -> e -> c; a -> d; b -> e; }"
let mut relation = TransitiveRelation::new();
relation.add("a", "c");
relation.add("c", "d");
relation.add("d", "e");
relation.add("e", "c");
relation.add("a", "d");
relation.add("b", "e");
assert_eq!(relation.minimal_upper_bounds(&"a", &"b"), vec![&"c"]);
}