#[test]
fn jupiter_view_visible() {
    let jv = europas::observation::jupiter_view::JupiterView::sub_jupiter_default();
    assert!(jv.is_visible());
}

#[test]
fn link_budget_finite() {
    let lb = europas::observation::communications::jupiter_orbiter_relay();
    assert!(lb.received_margin_db(3.0).is_finite());
}

#[test]
fn navigation_robust() {
    let nav = europas::observation::navigation::NavigationSolution::autonomous_surface_fix();
    assert!(nav.is_robust());
}
