Commit dd44d71
committed
C#: Add Type based summary test cases and move dataflow model generation test cases.
1 parent c2da2a8 commit dd44d71
16 files changed
Lines changed: 66 additions & 2 deletions
File tree
- csharp/ql/test/utils/model-generator
- dataflow
- theorems
File renamed without changes.
0 commit comments