Inspecting results¶
g2html¶
- First time run:
make jar
. - Run Goblint with additional
--html
argument. - Run
python3 -m http.server --directory result 8080
ornpx http-server -c-1 result
. - Inspect results at http://localhost:8080/index.xml.
Modern browsers' security settings forbid some file access which is necessary for g2html to work, hence the need for serving the results via Python's http.server
(or similar).
GobView¶
For the initial setup:
- Install Node.js (preferably ≥ 12.0.0) and npm (≥ 5.2.0)
- Run
make setup_gobview
in the analyzer directory
To build GobView (also for development):
- Run
make view
in the analyzer directory to build the web UI - The executable
goblint_http.exe
takes the analyzer directory and additional Goblint configurations such as the files to be analyzed as parameters. Run it e.g. with the following command:\./goblint_http.exe tests/regression/00-sanity/01-assert.c
- Visit http://localhost:8080
Witnesses¶
GraphML¶
yEd¶
- Open (Ctrl+o)
witness.graphml
from Goblint root directory. - Click menu "Edit" → "Properties Mapper".
- First time: Click button "Imports additional configurations" and open
scripts/sv-comp/yed-sv-comp.cnfx
. - Select "SV-COMP (Node)" and click "Apply".
- Select "SV-COMP (Edge)" and click "Ok".
- First time: Click button "Imports additional configurations" and open
- Click menu "Layout" → "Hierarchial" (Alt+shift+h).
- First time: Click tab "Labeling", select "Hierarchic" in "Edge Labeling".
- Click "Ok".
yEd manual for the Properties Mapper: https://yed.yworks.com/support/manual/properties_mapper.html.