SynTest Framework - Solidity

The aim of this tool is make it easier for Solidity contract developers to test their contracts in a more effective and efficient way.

What is SynTest Solidity?

SynTest Solidity is a tool for automatically generating test cases for the Solidity platform. This tool is part of the SynTest Framework. This framework contains multiple tools related to the generation of synthetic tests.


The common core contains the common interfaces for the code control-flow representation, test case structure, genes, and the implementation for the meta-heuristic search algorithms.



The simplest way to use syntest-solidity is by installing the npm package.

$ npm install @syntest/solidity

You can install it in your project as shown in the snippit above or you can install the package globally by using the npm options -g.

From source

The tool can be used by cloning the project, installing its dependencies, and compiling the TypeScript:

  • Clone the projects
$ git clone
  • Install dependencies
$ cd syntest-solidity; npm install
  • Build Syntest-Solidity
$ cd syntest-solidity; npm run build

Building the docker image

docker build -t syntest-solidity:0.1.0 . --no-cache --build-arg REGISTRY_TOKEN={your_access_token}
docker run -it syntest-solidity:0.1.0 MetaCoin.sol "$(cat ./contracts/MetaCoin.sol)"

Local development

To be able to make quick changes to the syntest-framework and then test it in the syntest-solidity project use npm link:

cd <PATH_TO_SYNTEST_SOLIDITY>; npm link @syntest/framework

This creates a symbolic link to the local syntest-framework instance in the node modules folder of syntest-solidity.


To start you need to be in the root of the project folder containing the contracts you want to create test-cases for. Next, you need to install two dev-dependencies in your project, namely chai and chai-as-promised. Both are needed to run the tests.

After installing these dependencies together with the tool, you can run the following example command.

$ syntest-solidity --include="<PATH_TO_YOUR_CONTRACTS_FOLDER>/contracts/**/*.sol" --search-time=10 --total_time=10

This will test all solidity contracts that are contained in the contracts folder. It will run for 10 seconds.

Note that currently the contracts folder has to be named “contracts” for the tool to work. This will be solved in a later version.

Syntest-Solidity is highly configurable and supports a bunch of options and arguments, all of them can be found by providing the --help option or -h for short. Another way of configuring the tool is by putting a .syntest.js file in the root of your project. The file should have the following structure:

module.exports = {
    population_size: 10,
    max_depth: 5,

The tool can be run via two modes, standalone or as a truffle plugin.


$ syntest-solidity [options]

As a truffle plugin

To run syntest-solidity as a plugin of the truffle testing library, you need to create a truffle-config.js with the following contents:

This file is auto-generated when using the standalone tool.

module.exports = {
  test_directory: ".syntest/tests",
  plugins: ["syntest-solidity"],

Next, you can run the following truffle command.

$ truffle run @syntest/solidity [options]


For questions and help with how to use this tool, please see the documentation.


For questions and help with how to use this library, please see


Contributions are welcome! For major changes, please open an issue first to discuss what you would like to change. For more information, please see

Authors and acknowledgment

  • Annibale Panichella (PI)
  • Mitchell Olsthoorn (Project Lead)
  • Dimitri Stallenberg (Developer)


The code within this project is licensed under the Apache-2.0 license.