diff --git a/csharp/ql/test/utils/model-generator/dataflow/NoSummaries.cs b/csharp/ql/test/utils/model-generator/dataflow/NoSummaries.cs index 112857f504e..b2c21b57917 100644 --- a/csharp/ql/test/utils/model-generator/dataflow/NoSummaries.cs +++ b/csharp/ql/test/utils/model-generator/dataflow/NoSummaries.cs @@ -131,4 +131,15 @@ public class CollectionFlow { return a; } -} \ No newline at end of file +} + +// A neutral model should not be created for a parameterless constructor. +public class ParameterlessConstructor +{ + public bool IsInitialized; + + public ParameterlessConstructor() + { + IsInitialized = true; + } +}