<commit_before>﻿using System;
using System.Collections.Generic;
using Microsoft.PSharp;

namespace FailureDetector
{
    internal class Driver : Machine
    {
        internal class RegisterClient : Event
        {
            public MachineId Client;

            public RegisterClient(MachineId client)
                : base()
            {
                this.Client = client;
            }
        }

        internal class UnregisterClient : Event
        {
            public MachineId Client;

            public UnregisterClient(MachineId client)
                : base()
            {
                this.Client = client;
            }
        }

        MachineId FailureDetector;
        List<MachineId> NodeSeq;
        Dictionary<MachineId, bool> NodeMap;

        [Start]
        [OnEntry(nameof(InitOnEntry))]
        class Init : MachineState { }

        void InitOnEntry()
        {
            this.NodeSeq = new List<MachineId>();
            this.NodeMap = new Dictionary<MachineId, bool>();

            this.Initialize();

            this.FailureDetector = this.CreateMachine(typeof(FailureDetector));

            this.Send(this.FailureDetector, new FailureDetector.Config(this.NodeSeq));
            this.Send(this.FailureDetector, new RegisterClient(this.Id));

            this.Fail();
        }

		void Initialize()
        {
            for (int i = 0; i < 2; i++)
            {
                var node = this.CreateMachine(typeof(Node));
                this.NodeSeq.Add(node);
                this.NodeMap.Add(node, true);
            }
        }

		void Fail()
        {
            for (int i = 0; i < 2; i++)
            {
                this.Send(this.NodeSeq[i], new Halt());
            }
        }
    }
}
<commit_msg>fixed lines in sample<commit_after>﻿using System;
using System.Collections.Generic;
using Microsoft.PSharp;

namespace FailureDetector
{
    internal class Driver : Machine
    {
        internal class RegisterClient : Event
        {
            public MachineId Client;

            public RegisterClient(MachineId client)
                : base()
            {
                this.Client = client;
            }
        }

        internal class UnregisterClient : Event
        {
            public MachineId Client;

            public UnregisterClient(MachineId client)
                : base()
            {
                this.Client = client;
            }
        }

        MachineId FailureDetector;
        List<MachineId> NodeSeq;
        Dictionary<MachineId, bool> NodeMap;

        [Start]
        [OnEntry(nameof(InitOnEntry))]
        class Init : MachineState { }

        void InitOnEntry()
        {
            this.NodeSeq = new List<MachineId>();
            this.NodeMap = new Dictionary<MachineId, bool>();

            this.Initialize();

            this.FailureDetector = this.CreateMachine(typeof(FailureDetector));

            this.Send(this.FailureDetector, new FailureDetector.Config(this.NodeSeq));
            this.Send(this.FailureDetector, new RegisterClient(this.Id));

            this.Fail();
        }

        void Initialize()
        {
            for (int i = 0; i < 2; i++)
            {
                var node = this.CreateMachine(typeof(Node));
                this.NodeSeq.Add(node);
                this.NodeMap.Add(node, true);
            }
        }

        void Fail()
        {
            for (int i = 0; i < 2; i++)
            {
                this.Send(this.NodeSeq[i], new Halt());
            }
        }
    }
}

{'fraction_non_alphanumeric': 0.09706546275395034, 'fraction_numerical': 0.002257336343115124, 'mean_word_length': 1.428082191780822, 'pattern_counts': {'":': 0, '<': 15, '<?xml version=': 0, '>': 11, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3864064', 'n_tokens_mistral': 954, 'n_tokens_neox': 899, 'n_words': 195}