summer-gcc

How to use src/exploit/train.py

2

What is the input of train.py, when I input a contract file, an error occurs python3 train.py --input ~/VeriSmart-public/examples/example2.sol --ngram 2 --maxtime 10000 Traceback (most recent call last): File "train.py",...

You write solc: 0.4.26 in requirements, is it true that only smart contracts with version 0.4.26 can use this tool to detect