package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `FileCfg.Cfg`

include MyCFG.CfgBidir

include MyCFG.CfgBackward

val prev : MyCFG.cfg

include MyCFG.CfgForward

val next : MyCFG.cfg

val skippedByEdge : 
  MyCFG.node ->
  MyCFG.edges ->
  MyCFG.node ->
  GoblintCil.stmt list

skippedByEdge from edges to returns the list of AST statements skipped over by find_real_stmt in CfgTools.createCfg. This consists of statements which do not correspond to CFG nodes, but some surrounding AST constructions.

package goblint

Module FileCfg.Cfg

Module `FileCfg.Cfg`