/* eslint-env node, mocha */ const solc = require('solc'); const getInstrumentedVersion = require('./../instrumentSolidity.js'); const util = require('./util/util.js'); const CoverageMap = require('./../coverageMap'); const path = require('path'); const vm = require('./util/vm'); const assert = require('assert'); /** * NB: passing '1' to solc as an option activates the optimiser * NB: solc will throw if there is a compilation error, causing the test to fail * and passing the error to mocha. */ describe('generic statements', () => { const filePath = path.resolve('./test.sol'); const pathPrefix = './'; it('should compile after instrumenting a single statement (first line of function)', () => { const contract = util.getCode('statements/single.sol'); const info = getInstrumentedVersion(contract, filePath); const output = solc.compile(info.contract, 1); util.report(output.errors); }); it('should compile after instrumenting multiple statements', () => { const contract = util.getCode('statements/multiple.sol'); const info = getInstrumentedVersion(contract, filePath); const output = solc.compile(info.contract, 1); util.report(output.errors); }); it('should compile after instrumenting a statement that is a function argument (single line)', () => { const contract = util.getCode('statements/fn-argument.sol'); const info = getInstrumentedVersion(contract, filePath); const output = solc.compile(info.contract, 1); util.report(output.errors); }); it('should compile after instrumenting a statement that is a function argument (multi-line)', () => { const contract = util.getCode('statements/fn-argument-multiline.sol'); const info = getInstrumentedVersion(contract, filePath); const output = solc.compile(info.contract, 1); util.report(output.errors); }); it('should cover a statement following a close brace', done => { const contract = util.getCode('statements/post-close-brace.sol'); const info = getInstrumentedVersion(contract, filePath); const coverage = new CoverageMap(); coverage.addContract(info, filePath); vm.execute(info.contract, 'a', [1]).then(events => { const mapping = coverage.generate(events, pathPrefix); assert.deepEqual(mapping[filePath].l, { 5: 1, 6: 0, 8: 1, }); assert.deepEqual(mapping[filePath].b, { 1: [0, 1], }); assert.deepEqual(mapping[filePath].s, { 1: 1, 2: 0, 3: 1, }); assert.deepEqual(mapping[filePath].f, { 1: 1, }); done(); }).catch(done); }); it('should cover a library statement and an invoked library method', done => { const contract = util.getCode('statements/library.sol'); const info = getInstrumentedVersion(contract, filePath); const coverage = new CoverageMap(); coverage.addContract(info, filePath); vm.execute(info.contract, 'not', []).then(events => { const mapping = coverage.generate(events, pathPrefix); assert.deepEqual(mapping[filePath].l, { 9: 1, 10: 1, 19: 1, }); assert.deepEqual(mapping[filePath].b, {}); assert.deepEqual(mapping[filePath].s, { 1: 1, 2: 1, 3: 1, }); assert.deepEqual(mapping[filePath].f, { 1: 1, 2: 1, }); done(); }).catch(done); }); it('should cover a tuple statement', done => { const contract = util.getCode('statements/tuple.sol'); const info = getInstrumentedVersion(contract, filePath); const coverage = new CoverageMap(); coverage.addContract(info, filePath); vm.execute(info.contract, 'a', []).then(events => { const mapping = coverage.generate(events, pathPrefix); assert.deepEqual(mapping[filePath].l, { 5: 1, }); assert.deepEqual(mapping[filePath].b, {}); assert.deepEqual(mapping[filePath].s, {}); assert.deepEqual(mapping[filePath].f, { 1: 1, }); done(); }).catch(done); }); it('should cover an empty bodied contract statement', done => { const contract = util.getCode('statements/empty-contract-body.sol'); const info = getInstrumentedVersion(contract, filePath); const coverage = new CoverageMap(); coverage.addContract(info, filePath); vm.execute(info.contract, null, []).then(events => { const mapping = coverage.generate(events, pathPrefix); assert.deepEqual(mapping[filePath].l, {}); assert.deepEqual(mapping[filePath].b, {}); assert.deepEqual(mapping[filePath].s, {}); assert.deepEqual(mapping[filePath].f, {}); done(); }).catch(done); }); });