wabt
Change WABT_UNREACHABLE to call abort()
#1126
Merged
Overview
Commits
1
Changes
View On GitHub

Change WABT_UNREACHABLE to call abort() #1126

binji merged 1 commit into master from unreachable-abort
binji
binji Change WABT_UNREACHABLE to call abort()
edd13415
binji binji merged 890fba3f into master 6 years ago
binji binji deleted the unreachable-abort branch 6 years ago
tlively

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum