Commit 355edcb

alexet

authored and

committed

Csharp: Reduce BDD usage.

1 parent 0543e34 commit 355edcbCopy full SHA for 355edcb

1 file changed

+77

-123

lines changed

csharp/ql/src/semmle/code/csharp/controlflow/internal
- ControlFlowGraphImpl.qll

+77

-123

lines changed

Comments

(0)