hardhat-scilla-plugin/dist/src/task-extensions.js

Hardhat TypeScript plugin for scilla testing

"use strict";
var __importDefault = (this && this.__importDefault) || function (mod) {
    return (mod && mod.__esModule) ? mod : { "default": mod };
};
Object.defineProperty(exports, "__esModule", { value: true });
const cli_color_1 = __importDefault(require("cli-color"));
const config_1 = require("hardhat/config");
const ScillaChecker_1 = require("./hardhat-tasks/ScillaChecker");
const ScillaContractsInfoUpdater_1 = require("./parser/ScillaContractsInfoUpdater");
(0, config_1.task)("scilla-check", "Parsing scilla contracts and performing a number of static checks including typechecking.")
    .addOptionalParam("libdir", "Path to Scilla stdlib", undefined)
    .addOptionalVariadicPositionalParam("contracts", "An optional list of files to check", [])
    .setAction(async (taskArgs, _hre, _runSuper) => {
    await (0, ScillaChecker_1.runScillaChecker)(taskArgs.contracts, taskArgs.libdir);
});
(0, config_1.task)("compile").setAction(async (taskArgs, hre, runSuper) => {
    console.log(cli_color_1.default.blue.bold("Scilla Contracts: "));
    await (0, ScillaContractsInfoUpdater_1.updateContractsInfo)();
    return runSuper();
});
//# sourceMappingURL=task-extensions.js.map