(&self, outcome: &CheckOutcome)
| 2612 | #[test] |
| 2613 | fn zero_or_invalid_worker_override_falls_through() { |
| 2614 | assert_eq!( |
| 2615 | resolve_kernel_check_workers_from(10, true, Some("0"), false, 4), |
| 2616 | 4 |
| 2617 | ); |
| 2618 | assert_eq!( |
| 2619 | resolve_kernel_check_workers_from(10, true, Some("nope"), false, 4), |
| 2620 | 4 |
| 2621 | ); |
| 2622 | } |
| 2623 | |
| 2624 | #[test] |
| 2625 | fn no_par_and_verbose_force_serial_without_override() { |
| 2626 | assert_eq!(resolve_kernel_check_workers_from(10, true, None, true, 4), 1); |
| 2627 | assert_eq!(resolve_kernel_check_workers_from(10, false, None, false, 4), 1); |
| 2628 | } |
| 2629 | |
| 2630 | #[test] |
| 2631 | fn default_parallelism_is_clamped_to_total() { |
| 2632 | assert_eq!(resolve_kernel_check_workers_from(3, true, None, false, 16), 3); |
| 2633 | assert_eq!(resolve_kernel_check_workers_from(10, true, None, false, 0), 1); |
| 2634 | assert_eq!(resolve_kernel_check_workers_from(0, true, None, false, 16), 1); |
| 2635 | } |
| 2636 | |
| 2637 | #[test] |
| 2638 | fn compact_in_flight_label_preserves_index_and_tail() { |
| 2639 | let label = |
| 2640 | "[123/456] _private.Std.Tactic.BVDecide.LRAT.Internal.Formula.Proof"; |
| 2641 | let compact = compact_in_flight_label(label, 40); |
| 2642 | assert!(compact.starts_with("[123/456] ...")); |
| 2643 | assert!(compact.ends_with("Internal.Formula.Proof")); |
no test coverage detected