hardhat-scilla-plugin
Version:
Hardhat TypeScript plugin for scilla testing
85 lines • 3.56 kB
JavaScript
;
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
if (k2 === undefined) k2 = k;
var desc = Object.getOwnPropertyDescriptor(m, k);
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
desc = { enumerable: true, get: function() { return m[k]; } };
}
Object.defineProperty(o, k2, desc);
}) : (function(o, m, k, k2) {
if (k2 === undefined) k2 = k;
o[k2] = m[k];
}));
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
Object.defineProperty(o, "default", { enumerable: true, value: v });
}) : function(o, v) {
o["default"] = v;
});
var __importStar = (this && this.__importStar) || (function () {
var ownKeys = function(o) {
ownKeys = Object.getOwnPropertyNames || function (o) {
var ar = [];
for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
return ar;
};
return ownKeys(o);
};
return function (mod) {
if (mod && mod.__esModule) return mod;
var result = {};
if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
__setModuleDefault(result, mod);
return result;
};
})();
var __importDefault = (this && this.__importDefault) || function (mod) {
return (mod && mod.__esModule) ? mod : { "default": mod };
};
Object.defineProperty(exports, "__esModule", { value: true });
exports.runScillaChecker = runScillaChecker;
const child_process_1 = require("child_process");
const cli_color_1 = __importDefault(require("cli-color"));
const glob_1 = require("glob");
const path_1 = __importDefault(require("path"));
const ZilliqaUtils = __importStar(require("../ZilliqaUtils"));
async function runScillaChecker(contracts, libdir) {
let files = [];
if (libdir === undefined && process.env.USE_NATIVE_SCILLA) {
throw new Error("You must specify a libDir (to stdlib) if running scilla-checker natively");
}
if (contracts.length === 0) {
files = glob_1.glob.sync("contracts/**/*.scilla");
}
else {
files = contracts;
}
files.forEach((file) => {
try {
console.log(cli_color_1.default.greenBright.bold(`🔍Checking ${file}...`));
let value;
if (ZilliqaUtils.useNativeScilla()) {
value = (0, child_process_1.execSync)(`scilla-checker -gaslimit 10000 -libdir ${libdir} ${file}`);
}
else {
let libArg;
let programArg;
const resolvedFilename = path_1.default.resolve(file);
if (libdir === undefined) {
programArg = "-libdir /scilla/0/src/stdlib";
libArg = "";
}
else {
const absPath = path_1.default.resolve(libdir);
libArg = `-v ${absPath}:/stdlib`;
programArg = "-libdir /stdlib";
}
value = (0, child_process_1.execSync)(`docker run --rm -v ${resolvedFilename}:/tmp/input.scilla ${libArg} zilliqa/scilla:v0.13.3 /scilla/0/bin/scilla-checker -gaslimit 10000 ${programArg} /tmp/input.scilla`);
}
console.log(value.toString());
}
catch (error) {
console.error("Failed to run scilla-checker");
}
});
}
//# sourceMappingURL=ScillaChecker.js.map