`crucible-mir`: Use correct identifiers for `TransCustom` intrinsics

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

628 stars 42 forks source link

`crucible-mir`: Use correct identifiers for `TransCustom` intrinsics #1158

Closed RyanGlScott closed 9 months ago

RyanGlScott commented 9 months ago

This uses the correct identifiers for intrinsics, such as core::intrinsics::{extern}::rotate_left. Previously, the "{extern}" portion was written as "" due to an oversight.

Fixes #1129.