hardhat-scilla-plugin/dist/src/hardhat-tasks/ScillaChecker.d.ts

Hardhat TypeScript plugin for scilla testing

export declare function runScillaChecker(contracts: any, libdir: any): Promise<void>;
//# sourceMappingURL=ScillaChecker.d.ts.map