package goblint

  1. Overview
  2. Docs

Parameter CfgPrinters.NodeStyles

val defaultNodeStyles : string list
val extraNodeStyles : MyCFG.node -> string list