()
| 1284 | } |
| 1285 | |
| 1286 | #[test] |
| 1287 | fn field_assign_pairs() { |
| 1288 | let f = facts("void g(void){ a->f = b->g; h.x = k.y; m == n; }"); |
| 1289 | assert!(f.d_pairs.contains(&"f\0g".to_string())); |
| 1290 | assert!(f.d_pairs.contains(&"x\0y".to_string())); |
| 1291 | assert_eq!(f.d_pairs.len(), 2); |
| 1292 | } |
| 1293 | |
| 1294 | #[test] |