Open AliAlimohammadi opened 2 years ago
These are the list of unique warnings that you get when you run $SYMRUSTC_HOME_RS/symrustc_build.sh for different versions of SymRustC: Warnings.txt
$SYMRUSTC_HOME_RS/symrustc_build.sh
These are the list of unique warnings that you get when you run
$SYMRUSTC_HOME_RS/symrustc_build.sh
for different versions of SymRustC: Warnings.txt