CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
32
stars
11
forks
source link
Shift-Alt-Click does not work on macOS in Trace view #156
Open
rod-chapman opened 2 months ago
In a view of a Trace reported by cbmc-viewer, I am unable to get the "Shift-Alt-Click" navigation action to work on macOS.
I have also tried to modify the viewer.js file to use ctrlKey or metaKey ("Command key on the mac"), but neither of these work for me either.