()
| 304 | |
| 305 | #[test] |
| 306 | fn int_dedup() { |
| 307 | let mut params = Parameters::new_in(Global); |
| 308 | let a = params.int(Int::from(42_i128)); |
| 309 | let b = params.int(Int::from(42_i128)); |
| 310 | |
| 311 | assert_eq!(a, b); |
| 312 | assert_eq!(params.len(), 1); |
| 313 | } |
| 314 | |
| 315 | #[test] |
| 316 | fn primitive_dedup() { |