Natalie can view the results of completed runs #2434 #10
Description
Why:
Evelyn needs to know what Manticore detected and wants this data presented in MUI
Acceptance Criteria:
- Evelyn is able to right-click on a completed Manticore state and can select view the results for that state
- The summary results viewer of that state is opened
- The results of a detector (example: Integer overflow) are shown in a scrollable window
- The results viewer shows the ID of the state and you can copy the ID
- Evelyn can close the result viewer when she's done