Test generation for Solidity in Foundry format (https://github.com/foundry-rs/foundry).
Project description
This work builds upon the original implementation of solTg by Konstantin Britikov.
Follow instructions in README_original.md to install dependencies.
Modified tgnonlin and solc
Precompiled binaries for linux are present in the ./deps folder, replace them with binaries compiled from soltgbackend repo if necessary.
forge-std
forge install foundry-rs/forge-std --no-commit
To install forge-std.
python
Once all dependencies are installed, run:
pip install .
This should install any python dependencies.
When I tried to run the tool on my linux system I got a version error for numpy.
pip install "numpy<2"
Fixed this error for me.
How to run
Run the tool using the following command
`python3 ./solTg/RunAll.py -i <input file/dir>` -t <timeout in seconds>
The contract to be analysed must not be an abstract contract and its code must contain an assert in order for SolCMC to generate its CHC encoding. SolTG will notify the user if the encoding fails to generate.
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file soltg_plus-0.1.3.tar.gz.
File metadata
- Download URL: soltg_plus-0.1.3.tar.gz
- Upload date:
- Size: 7.8 MB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.0.1 CPython/3.12.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
d99949c2a6a181fb0f20554cc1c0a84d8247e804e0adb5b6c08e3f33c1f8d35d
|
|
| MD5 |
09061fa5383e728e2904fe9c79d0106c
|
|
| BLAKE2b-256 |
7126d8744164e18306a3fb262a54df39db2f21888dfd240c2316b78429bb3fc2
|
File details
Details for the file solTg_plus-0.1.3-py3-none-any.whl.
File metadata
- Download URL: solTg_plus-0.1.3-py3-none-any.whl
- Upload date:
- Size: 7.8 MB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.0.1 CPython/3.12.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
7f07b1493880b7dc39a112eaab05a123ad4269fb1a90d925f72e295918e43b74
|
|
| MD5 |
05f2da16351f6c580af2935b4daf1e02
|
|
| BLAKE2b-256 |
7fd5bd296d4b3c82f9a483a2b2d3b7237b3c51d8a605313bd7a12888b516ca4f
|
