﻿using static System.Console;
﻿using CIV.Ccs;
using CIV.Interfaces;

namespace CIV
{
    class Program
    {
        static void Main(string[] args)
        {
  			var text = System.IO.File.ReadAllText(args[0]);

			var processes = CcsFacade.ParseAll(text);
            var trace = CcsFacade.RandomTrace(processes["Prison"], 450);
            foreach (var action in trace)
            {
                WriteLine(action);
            }
        }
    }
}

﻿using static System.Console;
using System.Linq;
using CIV.Ccs;
using CIV.Hml;

namespace CIV
{
    class Program
    {
        static void Main(string[] args)
        {
  			var text = System.IO.File.ReadAllText(args[0]);

			var processes = CcsFacade.ParseAll(text);
            var hmlText = "[[ack]][[ack]][[ack]](<<ack>>tt and [[freeAll]]ff)";
            var prova = HmlFacade.ParseAll(hmlText);
            WriteLine(prova.Check(processes["Prison"]));
        }
    }
}

Remove RandomTrace stuff from main
Remove RandomTrace stuff from main
