Improve mutator and reduce false-positive (smaller than zero) - Githubissues

eigerco / move-spec-testing

Other

0 stars 1 forks source link

Improve mutator and reduce false-positive (smaller than zero) #27

Closed Rqnsom closed 1 week ago

Rqnsom commented 3 weeks ago

Swapping xxx == 0 with xxx <= 0 makes no sense since only unsigned integers are supported by the Move language.

Rqnsom commented 1 week ago

Closed by https://github.com/eigerco/move-spec-testing/pull/29