coverlet/test/coverlet.core.tests/Samples/Instrumentation.AutoProps.cs

using System;

namespace Coverlet.Core.Samples.Tests
{
    public class AutoProps
    {
        private int _myVal = 0;
        public AutoProps()
        {
            _myVal = new Random().Next();
        }
        public int AutoPropsNonInit { get; set; }
        public int AutoPropsInit { get; set; } = 10;
    }

    public record RecordWithPropertyInit
    {
        private int _myRecordVal = 0;
        public RecordWithPropertyInit()
        {
            _myRecordVal = new Random().Next();
        }
        public string RecordAutoPropsNonInit { get; set; }
        public string RecordAutoPropsInit { get; set; } = string.Empty;
    }

    public class ClassWithAutoRecordProperties
    {
        record AutoRecordWithProperties(string Prop1, string Prop2);

        public ClassWithAutoRecordProperties()
        {
            var record = new AutoRecordWithProperties(string.Empty, string.Empty);
        }
    }
}