Module test_harness 

Test harness for parity and conformance testing.

use weir::test_harness;

Test harness helpers for Weir integration tests.

Modules

csr_factory

Reusable CSR fixtures for Weir dataflow tests.

dominator_fixture

Reusable CFG fixtures for dominator-analysis tests.

fake_backend

Stateful resident backend fixture for Weir integration and fuzz tests.

ifds_builder

Deterministic IFDS problem fixtures for Weir oracle tests.