Merge branch 'main' into implement-file-selection

Author: mitchellolsthoorn

package.json

@@ -5,7 +5,8 @@
  "main": "index.js",
  "scripts": {
  "run": "truffle run syntest-solidity",
- "run-standalone": "syntest-solidity"
+ "run-standalone": "syntest-solidity",
+ "coverage": "truffle run coverage"
  },
  "homepage": "https://github.com/syntest-framework/syntest-solidity-benchmark",
  "repository": {
@@ -15,6 +16,7 @@
  "author": "",
  "license": "MIT",
  "dependencies": {
+ "solidity-coverage": "^0.7.16",
  "syntest-solidity": "file:../syntest-solidity"
  },
  "devDependencies": {}

truffle-config.js

@@ -17,7 +17,6 @@ module.exports = {
  // network_id: "*"
  // }
  // },
- //
-
- plugins: ["syntest-solidity"]
+ test_directory: "syntest/tests",
+ plugins: ["syntest-solidity", "solidity-coverage"]
 };