Add more test cases for path comparisons · model-checking/verify-rust-std@5ca124f (original) (raw)

Original file line number Diff line number Diff line change
@@ -1545,6 +1545,20 @@ pub fn test_compare() {
1545 1545 relative_from: Some("")
1546 1546 );
1547 1547
1548 +tc!("foo//", "foo",
1549 + eq: true,
1550 + starts_with: true,
1551 + ends_with: true,
1552 + relative_from: Some("")
1553 +);
1554 +
1555 +tc!("foo///", "foo",
1556 + eq: true,
1557 + starts_with: true,
1558 + ends_with: true,
1559 + relative_from: Some("")
1560 +);
1561 +
1548 1562 tc!("foo/.", "foo",
1549 1563 eq: true,
1550 1564 starts_with: true,
@@ -1559,6 +1573,20 @@ pub fn test_compare() {
1559 1573 relative_from: Some("")
1560 1574 );
1561 1575
1576 +tc!("foo/.//bar", "foo/bar",
1577 + eq: true,
1578 + starts_with: true,
1579 + ends_with: true,
1580 + relative_from: Some("")
1581 +);
1582 +
1583 +tc!("foo//./bar", "foo/bar",
1584 + eq: true,
1585 + starts_with: true,
1586 + ends_with: true,
1587 + relative_from: Some("")
1588 +);
1589 +
1562 1590 tc!("foo/bar", "foo",
1563 1591 eq: false,
1564 1592 starts_with: true,