Skip to content

Scilla AST comparison

Anton Trunov edited this page Sep 13, 2022 · 2 revisions

Here is a recipe to compare the ASTs of two Scilla contracts:

scilla-fmt -h --sexp --deannot contract1.scilla > contract1.sexp
scilla-fmt -h --sexp --deannot contract2.scilla > contract2.sexp
diff contract1.sexp contract2.sexp

The comparison works on the S-expression representation of Scilla contracts.