search

goblint / GobWeb

Website for the Static Analyzer Goblint
https://goblint.in.tum.de
3 stars 0 forks source link

Interactive example #7

Open ivanazuzic opened 3 years ago

ivanazuzic commented 3 years ago

Do we want to connect this web with the web version of Goblint?

michael-schwarz commented 3 years ago

Yes, link to a separate thing by Kerem.