search

unicode-rs / unicode-xid

Other
49 stars 28 forks source link

Prove the API does not panic for all chars #9

Closed ZackPierce closed 5 years ago

ZackPierce commented 5 years ago

Regression test and proof-by-exhaustive-execution that the API is panic-free for all possible input chars.

Manishearth commented 5 years ago

retrigger travis

ZackPierce commented 5 years ago

Looks like no follow-up changes were necessary after the bench build correction.

ZackPierce commented 5 years ago

Updated to remove the tests that were intentionally invoking UB.

Manishearth commented 5 years ago

Thanks!