parent
6604b06a48
commit
768908bba2
@ -1,188 +1,150 @@ |
||||
/* eslint-env node, mocha */ |
||||
|
||||
/*const solc = require('solc'); |
||||
const getInstrumentedVersion = require('./../lib/instrumentSolidity.js'); |
||||
const util = require('./util/util.js'); |
||||
const CoverageMap = require('./../lib/coverageMap'); |
||||
const path = require('path'); |
||||
const vm = require('./util/vm'); |
||||
const assert = require('assert'); |
||||
const util = require('./../util/util.js'); |
||||
|
||||
const ganache = require('ganache-core'); |
||||
const Coverage = require('./../../lib/coverage'); |
||||
|
||||
describe('generic statements', () => { |
||||
const filePath = path.resolve('./test.sol'); |
||||
const pathPrefix = './'; |
||||
let coverage; |
||||
let provider; |
||||
let collector; |
||||
|
||||
before(async () => ({ provider, collector } = await util.initializeProvider(ganache))); |
||||
beforeEach(() => coverage = new Coverage()); |
||||
after((done) => provider.close(done)); |
||||
|
||||
it('should compile function defined in a struct', () => { |
||||
const contract = util.getCode('statements/fn-struct.sol'); |
||||
const info = getInstrumentedVersion(contract, filePath); |
||||
const output = JSON.parse(solc.compile(util.codeToCompilerInput(info.contract))); |
||||
util.report(output.errors); |
||||
const info = util.instrumentAndCompile('statements/fn-struct'); |
||||
util.report(info.solcOutput.errors); |
||||
}) |
||||
|
||||
it('should compile when using the type keyword', () => { |
||||
const contract = util.getCode('statements/type-keyword.sol'); |
||||
const info = getInstrumentedVersion(contract, filePath); |
||||
const output = JSON.parse(solc.compile(util.codeToCompilerInput(info.contract))); |
||||
util.report(output.errors); |
||||
const info = util.instrumentAndCompile('statements/type-keyword'); |
||||
util.report(info.solcOutput.errors); |
||||
}) |
||||
|
||||
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 = JSON.parse(solc.compile(util.codeToCompilerInput(info.contract))); |
||||
util.report(output.errors); |
||||
it('should instrument a single statement (first line of function)', () => { |
||||
const info = util.instrumentAndCompile('statements/single'); |
||||
util.report(info.solcOutput.errors); |
||||
}); |
||||
|
||||
it('should compile after instrumenting multiple statements', () => { |
||||
const contract = util.getCode('statements/multiple.sol'); |
||||
const info = getInstrumentedVersion(contract, filePath); |
||||
const output = JSON.parse(solc.compile(util.codeToCompilerInput(info.contract))); |
||||
util.report(output.errors); |
||||
it('should instrument multiple statements', () => { |
||||
const info = util.instrumentAndCompile('statements/multiple'); |
||||
util.report(info.solcOutput.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 = JSON.parse(solc.compile(util.codeToCompilerInput(info.contract))); |
||||
util.report(output.errors); |
||||
it('should instrument a statement that is a function argument (single line)', () => { |
||||
const info = util.instrumentAndCompile('statements/fn-argument'); |
||||
util.report(info.solcOutput.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 = JSON.parse(solc.compile(util.codeToCompilerInput(info.contract))); |
||||
util.report(output.errors); |
||||
it('should instrument a statement that is a function argument (multi-line)', () => { |
||||
const info = util.instrumentAndCompile('statements/fn-argument-multiline'); |
||||
util.report(info.solcOutput.errors); |
||||
}); |
||||
|
||||
it('should compile after instrumenting an empty-contract-body', () => { |
||||
const contract = util.getCode('statements/empty-contract-ala-melonport.sol'); |
||||
const info = getInstrumentedVersion(contract, filePath); |
||||
const output = JSON.parse(solc.compile(util.codeToCompilerInput(info.contract))); |
||||
util.report(output.errors); |
||||
it('should instrument an empty-contract-body', () => { |
||||
const info = util.instrumentAndCompile('statements/empty-contract-ala-melonport'); |
||||
util.report(info.solcOutput.errors); |
||||
}); |
||||
|
||||
it('should NOT pass tests if the contract has a compilation error', () => { |
||||
const contract = util.getCode('statements/compilation-error.sol'); |
||||
const info = getInstrumentedVersion(contract, filePath); |
||||
const output = JSON.parse(solc.compile(util.codeToCompilerInput(info.contract))); |
||||
const info = util.instrumentAndCompile('../errors/compilation-error'); |
||||
try { |
||||
util.report(output.errors); |
||||
assert.fail('WRONG'); // We shouldn't hit this.
|
||||
assert.fail('failure'); // We shouldn't hit this.
|
||||
} catch (err) { |
||||
(err.actual === 'WRONG') ? assert(false) : assert(true); |
||||
(err.actual === 'failure') ? assert(false) : assert(true); |
||||
} |
||||
}); |
||||
|
||||
it('should compile after instrumenting an emit statement after an un-enclosed if statement', () => { |
||||
const contract = util.getCode('statements/emit-instrument.sol'); |
||||
const info = getInstrumentedVersion(contract, filePath); |
||||
const output = JSON.parse(solc.compile(util.codeToCompilerInput(info.contract))); |
||||
util.report(output.errors); |
||||
it('should instrument an emit statement after an un-enclosed if statement', () => { |
||||
const info = util.instrumentAndCompile('statements/emit-instrument'); |
||||
util.report(info.solcOutput.errors); |
||||
}); |
||||
|
||||
it('should cover an emitted event statement', done => { |
||||
const contract = util.getCode('statements/emit-coverage.sol'); |
||||
const info = getInstrumentedVersion(contract, filePath); |
||||
const coverage = new CoverageMap(); |
||||
coverage.addContract(info, filePath); |
||||
|
||||
vm.execute(info.contract, 'a', [0]).then(events => { |
||||
const mapping = coverage.generate(events, pathPrefix); |
||||
assert.deepEqual(mapping[filePath].l, { |
||||
6: 1 |
||||
}); |
||||
assert.deepEqual(mapping[filePath].b, {}); |
||||
assert.deepEqual(mapping[filePath].s, { |
||||
1: 1 |
||||
}); |
||||
assert.deepEqual(mapping[filePath].f, { |
||||
1: 1, |
||||
}); |
||||
done(); |
||||
}).catch(done); |
||||
it('should cover an emitted event statement', async function() { |
||||
const contract = await util.bootstrapCoverage('statements/emit-coverage', provider, collector); |
||||
coverage.addContract(contract.instrumented, util.filePath); |
||||
await contract.instance.a(0); |
||||
const mapping = coverage.generate(contract.data, util.pathPrefix); |
||||
|
||||
assert.deepEqual(mapping[util.filePath].l, { |
||||
6: 1 |
||||
}); |
||||
assert.deepEqual(mapping[util.filePath].b, {}); |
||||
assert.deepEqual(mapping[util.filePath].s, { |
||||
1: 1 |
||||
}); |
||||
assert.deepEqual(mapping[util.filePath].f, { |
||||
1: 1, |
||||
}); |
||||
}); |
||||
|
||||
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 statement following a close brace', async function() { |
||||
const contract = await util.bootstrapCoverage('statements/post-close-brace', provider, collector); |
||||
coverage.addContract(contract.instrumented, util.filePath); |
||||
await contract.instance.a(1); |
||||
const mapping = coverage.generate(contract.data, util.pathPrefix); |
||||
|
||||
assert.deepEqual(mapping[util.filePath].l, { |
||||
5: 1, 6: 0, 8: 1, |
||||
}); |
||||
assert.deepEqual(mapping[util.filePath].b, { |
||||
1: [0, 1], |
||||
}); |
||||
assert.deepEqual(mapping[util.filePath].s, { |
||||
1: 1, 2: 0, 3: 1, |
||||
}); |
||||
assert.deepEqual(mapping[util.filePath].f, { |
||||
1: 1, |
||||
}); |
||||
}); |
||||
|
||||
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 library statement and an invoked library method', async function() { |
||||
const contract = await util.bootstrapCoverage('statements/library', provider, collector); |
||||
coverage.addContract(contract.instrumented, util.filePath); |
||||
await contract.instance.not(); |
||||
const mapping = coverage.generate(contract.data, util.pathPrefix); |
||||
|
||||
assert.deepEqual(mapping[util.filePath].l, { |
||||
9: 1, 10: 1, 19: 1, |
||||
}); |
||||
assert.deepEqual(mapping[util.filePath].b, {}); |
||||
assert.deepEqual(mapping[util.filePath].s, { |
||||
1: 1, 2: 1, 3: 1, |
||||
}); |
||||
assert.deepEqual(mapping[util.filePath].f, { |
||||
1: 1, 2: 1, |
||||
}); |
||||
}); |
||||
|
||||
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, { |
||||
6: 1, 10: 1, 11: 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', async function() { |
||||
const contract = await util.bootstrapCoverage('statements/tuple', provider, collector); |
||||
coverage.addContract(contract.instrumented, util.filePath); |
||||
await contract.instance.a(); |
||||
const mapping = coverage.generate(contract.data, util.pathPrefix); |
||||
|
||||
assert.deepEqual(mapping[util.filePath].l, { |
||||
6: 1, 10: 1, 11: 1 |
||||
}); |
||||
assert.deepEqual(mapping[util.filePath].b, {}); |
||||
assert.deepEqual(mapping[util.filePath].s, { |
||||
1: 1, 2: 1, 3: 1, |
||||
}); |
||||
assert.deepEqual(mapping[util.filePath].f, { |
||||
1: 1, 2: 1, |
||||
}); |
||||
}); |
||||
|
||||
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); |
||||
it('should cover an empty bodied contract statement', async function() { |
||||
const contract = await util.bootstrapCoverage('statements/empty-contract-body', provider, collector); |
||||
coverage.addContract(contract.instrumented, util.filePath); |
||||
const mapping = coverage.generate(contract.data, util.pathPrefix); |
||||
|
||||
assert.deepEqual(mapping[util.filePath].l, {}); |
||||
assert.deepEqual(mapping[util.filePath].b, {}); |
||||
assert.deepEqual(mapping[util.filePath].s, {}); |
||||
assert.deepEqual(mapping[util.filePath].f, {}); |
||||
}); |
||||
});*/ |
||||
}); |
||||
|
Loading…
Reference in new issue