()
| 887 | |
| 888 | #[test] |
| 889 | fn test_workspace_clear() { |
| 890 | let mut workspace = Workspace::new(); |
| 891 | |
| 892 | // Add some state |
| 893 | workspace.add_up_context(Position::ROOT); |
| 894 | workspace.add_pending_edge(Position::ROOT, Position::ROOT, EdgeFlags::BLOCK); |
| 895 | workspace.add_missing_up_context(Position::ROOT); |
| 896 | |
| 897 | assert!(!workspace.is_empty()); |
| 898 | |
| 899 | workspace.clear(); |
| 900 | assert!(workspace.is_empty()); |
| 901 | } |
| 902 | |
| 903 | // Context Tests |
| 904 |
nothing calls this directly
no test coverage detected