Extended property-based test coverage for the DSL module from 95 to 136 tests using Hypothesis.

New Test Coverage

Created tests/property/test_dsl_extended_properties.py with 41 property tests covering:

• Expression builder (F) - Complex boolean logic, nested AND/OR, operator chaining
• Layer algebra - Commutativity, associativity, idempotence, set operations
• Ordering/Grouping - per_layer(), per_layer_pair(), top_k(), coverage() filtering
• Export operations - to_pandas(), to_dict(), to_networkx() consistency
• Edge queries - Intralayer/interlayer predicates, layer filtering
• Query building - AST generation, compute() accumulation, from_layers() override
• Error handling - Empty networks, invalid metrics, conflicting conditions

Properties Validated

# Layer algebra is commutative
assert Q.nodes().from_layers(L["a"] + L["b"]) == Q.nodes().from_layers(L["b"] + L["a"])

# Multiple compute() calls accumulate
result = Q.nodes().compute("degree").compute("clustering").execute(net)
assert "degree" in df.columns and "clustering" in df.columns

# Conflicting WHERE conditions return empty
result = Q.nodes().where((F.layer == "a") & (F.layer == "b")).execute(net)
assert len(result) == 0

All tests use Hypothesis for automatic test case generation with edge case coverage.

• Fixes Test coverage dsl #953

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.