search

levjj / esverify

ECMAScript verification with SMT solvers
https://esverify.org/
MIT License
124 stars 5 forks source link

readme example typo #6

Closed rdesfo closed 5 years ago

rdesfo commented 5 years ago

small typo... typeof a -> typeof b

levjj commented 5 years ago

Thanks for the contribution! I think this was caused by #4 .