You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, the interpreter does not support visualizing data that lives in the binary, e.g. &'static str (see also #49). For example, we should be able to visualize this program in the Rust Book:
fnmain(){let s:&'static str = "I have a static lifetime.";}
This change will require modifying VisEvaluator::build_step to extract data held in the "binary" (wherever that is in Miri, not sure) similar to how the heap is extracted. Then the StepView will need to be updated to contain a new memory region that represents the binary.
The text was updated successfully, but these errors were encountered:
Currently, the interpreter does not support visualizing data that lives in the binary, e.g.
&'static str
(see also #49). For example, we should be able to visualize this program in the Rust Book:This change will require modifying
VisEvaluator::build_step
to extract data held in the "binary" (wherever that is in Miri, not sure) similar to how the heap is extracted. Then theStepView
will need to be updated to contain a new memory region that represents the binary.The text was updated successfully, but these errors were encountered: