()
| 1302 | } |
| 1303 | |
| 1304 | #[test] |
| 1305 | fn field_assign_pairs() { |
| 1306 | let f = facts("void g(void){ a->f = b->g; h.x = k.y; m == n; }"); |
| 1307 | assert!(f.d_pairs.contains(&"f\0g".to_string())); |
| 1308 | assert!(f.d_pairs.contains(&"x\0y".to_string())); |
| 1309 | assert_eq!(f.d_pairs.len(), 2); |
| 1310 | } |
| 1311 | |
| 1312 | #[test] |