/**
 * Integration tests for pathwidth-bounded graphs.
 *
 * Tests the complete pipeline: spec → generation → analysis → validation
 * for pathwidth graph property.
 */
export {};
//# sourceMappingURL=pathwidth.integration.test.d.ts.map