Module Make::BlockSlices

Provides a query for dumping every line-based slice of a basic block.

Import path

import codeql.controlflow.test.TestCfg

Holds if blockSlice is a string representation of a line slice of a basic block. first is the first node in the slice.