use vyre::ops::graph::{bfs::Bfs, reachability::ReachabilityOp};
use super::assert_structural_spec;
#[test]
fn graph_ops_validate_lower_and_compose_non_empty_programs() {
for spec in [&Bfs::SPEC, &ReachabilityOp::SPEC] {
assert_structural_spec(spec);
}
}