codeql
codeql copied to clipboard
C#: Inline expectation for model generator test.
In this PR we refactor the C# model generator test to inline like verification (models should be inlined as comments to above a callable).