syntest-solidity-benchmark

Provides a benchmarking environment for testing SynTest-Solidity

How to use

Since there is no npm package yet:

Create a folder
Clone the syntest-solidity-benchmark in the folder
- git clone git@github.com:syntest-framework/syntest-solidity-benchmark.git
Install dependencies for syntest-solidity-benchmark
- cd ./syntest-solidity-benchmark
- npm install
[OPTIONAL] put the contract you want to test in the contracts folder
[OPTIONAL] configure .syntest.js to your liking
Now you can run the project
- npm run standalone

Name		Name	Last commit message	Last commit date
Latest commit History 98 Commits
.github		.github
benchmark-bugs		benchmark-bugs
benchmark		benchmark
contracts		contracts
contracts_archive		contracts_archive
docs		docs
experiment/configurations		experiment/configurations
mutants		mutants
.dockerignore		.dockerignore
.eslintignore		.eslintignore
.eslintrc		.eslintrc
.eslintrc.json		.eslintrc.json
.gitattributes		.gitattributes
.gitignore		.gitignore
.syntest.js		.syntest.js
Dockerfile		Dockerfile
Dockerfile.dev		Dockerfile.dev
Dockerfile.experiment		Dockerfile.experiment
LICENSE.md		LICENSE.md
README.md		README.md
build_experiment.sh		build_experiment.sh
collect_experiment.py		collect_experiment.py
deploy_experiment.py		deploy_experiment.py
package.json		package.json
run_experiment.py		run_experiment.py
runner.js		runner.js
truffle-config.js		truffle-config.js