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