diff options
| author | Celina G. Val <celinval@amazon.com> | 2023-11-07 14:07:32 -0800 |
|---|---|---|
| committer | Celina G. Val <celinval@amazon.com> | 2023-11-16 11:05:36 -0800 |
| commit | e70839ac84aa3dc8b4525a11e64961e375f8f3ba (patch) | |
| tree | 715dd66e6c40fa1efdee8df5dcede0b7e9c1afa8 /tests/codegen/array-codegen.rs | |
| parent | 0ea7ddcc35a2fcaa5da8a7dcfc118c9fb4a63b95 (diff) | |
| download | rust-e70839ac84aa3dc8b4525a11e64961e375f8f3ba.tar.gz rust-e70839ac84aa3dc8b4525a11e64961e375f8f3ba.zip | |
Add more SMIR internal impl and callback return value
In cases like Kani, we will invoke the rustc_internal run command directly for now. It would be handly to be able to have a callback that can return a value. We also need extra methods to convert stable constructs into internal ones, so we can break down the transition into finer grain commits.
Diffstat (limited to 'tests/codegen/array-codegen.rs')
0 files changed, 0 insertions, 0 deletions