Uncomment CFG tests

This commit is contained in:
Sauyon Lee
2021-08-17 12:48:22 -07:00
parent a6f3d464ae
commit 5fbed2b219
2 changed files with 1412 additions and 2 deletions

View File

@@ -3,8 +3,7 @@ import go
query predicate nodes(ControlFlow::Node nd) { none() }
query predicate edges(ControlFlow::Node pred, ControlFlow::Node succ) {
none()
// succ = pred.getASuccessor()
succ = pred.getASuccessor()
}
select ""