search

goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
160 stars 72 forks source link

Fix context gas in g2html #1439

Closed SchiJoha closed 1 month ago

SchiJoha commented 2 months ago

Updated code for html representation of the Context Gas to allow a similar representation as for Context Widening

michael-schwarz commented 1 month ago

@jerhard unless you see any issues here, I'd propose to merge?