Skip to content

Commit

Permalink
C#: Update expected test output.
Browse files Browse the repository at this point in the history
  • Loading branch information
michaelnebel committed Jun 18, 2024
1 parent 602de18 commit 7fb9780
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 3 deletions.
1 change: 0 additions & 1 deletion csharp/ql/test/utils/modelgenerator/dataflow/Sinks.cs
Original file line number Diff line number Diff line change
Expand Up @@ -101,7 +101,6 @@ public void ManualSinkNeutral(object o)

// Not a new sink as this callable already has a manual sink.
// neutral=Sinks;NewSinks;ManualSinkAlreadyDefined;(System.Object);summary;df-generated
// SPURIOUS-sink=Sinks;NewSinks;false;ManualSinkAlreadyDefined;(System.Object);;Argument[0];test-sink;df-generated
public void ManualSinkAlreadyDefined(object o)
{
Sink(o);
Expand Down
2 changes: 0 additions & 2 deletions csharp/ql/test/utils/modelgenerator/dataflow/Sources.cs
Original file line number Diff line number Diff line change
Expand Up @@ -68,14 +68,12 @@ public string Read()
// Not a new source as this callable has been manually modelled
// as source neutral.
// neutral=Sources;NewSources;ManualNeutralSource;();summary;df-generated
// SPURIOUS-source=Sources;NewSources;false;ManualNeutralSource;();;ReturnValue;local;df-generated
public string ManualNeutralSource()
{
return Console.ReadLine();
}

// Not a new source as this callable already has a manual source.
// SPURIOUS-source=Sources;NewSources;false;ManualSourceAlreadyDefined;();;ReturnValue;local;df-generated
// neutral=Sources;NewSources;ManualSourceAlreadyDefined;();summary;df-generated
public string ManualSourceAlreadyDefined()
{
Expand Down

0 comments on commit 7fb9780

Please sign in to comment.