Rename assert_fault to assert_trap to match design repo terminology#76
Merged
sunfishcode merged 2 commits intomasterfrom Sep 22, 2015
Merged
Rename assert_fault to assert_trap to match design repo terminology#76sunfishcode merged 2 commits intomasterfrom
sunfishcode merged 2 commits intomasterfrom