Jiaming
Results
1
issues of
Jiaming
An error occurred when I try SIF on my Solidity codes `sif -a ~/Desktop/SIF/out546.ast -j ~/Desktop/SIF/out546.json -o out546.sol` Then I got `Segmentation fault (core dumped)` I don't have any clues...