Add test case demonstrating equality of paths "foo/bar" and "foobar" · model-checking/verify-rust-std@33bc557 (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Commit 33bc557

zaniebthe8472

authored and

committed

Add test case demonstrating equality of paths "foo/bar" and "foobar"

File tree

1 file changed

lines changed

1 file changed

lines changed

Lines changed: 7 additions & 0 deletions

Original file line number Diff line number Diff line change
@@ -1566,6 +1566,13 @@ pub fn test_compare() {
1566 1566 relative_from: Some("bar")
1567 1567 );
1568 1568
1569 +tc!("foo/bar", "foobar",
1570 + eq: false,
1571 + starts_with: false,
1572 + ends_with: false,
1573 + relative_from: None
1574 +);
1575 +
1569 1576 tc!("foo/bar/baz", "foo/bar",
1570 1577 eq: false,
1571 1578 starts_with: true,