Interesting cases (correct but misleading)

mojtaba-eshghie / SINA

SINA: Semantic Invariant Analysis for Smart Contracts

https://pypi.org/project/predi/

MIT License

4 stars 0 forks source link

Open mojtaba-eshghie opened 2 months ago

mojtaba-eshghie commented 2 months ago

The cases that look wrong but actually are intended.

mojtaba-eshghie commented 1 month ago

The following I tested all four variants of comparing; all work correctly.

white-board-sketch