using System;
using System.Collections.Generic;
using Microsoft.PSharp;

using GenericExamples;
using InheritanceExamples;
using AdvancedExamples;

namespace RaceyRegressionSuite
{
    /// <summary>
    /// This is the P# data race regression suite to be used for
    /// testing the P# static analyser.
    /// 
    /// Is not to be used for normal execution.
    /// </summary>
    public class Program
    {
        static void Main(string[] args)
        {

        }
    }
}
