Ejemplos de AbominationCsvReader en C# (CSharp)

Ejemplo n.º 1

Archivo: CharacteristicSetTests.cs Proyecto: uxsoft/CVUT-TVS5-StateAutomata

        public void Task40Test()
        {
            var automaton = AbominationCsvReader.Parse("Input/g1A40A.csv");

            automaton.Minimalize();
            string result        = string.Join(", ", automaton.CharacteristicSet().Select(p => $"({string.Join(", ", p)})"));
            string correctResult = "(e67, e67), (e67, e98), (e87), (e98, e67), (e98, e87), (e98, e98)";

            Assert.Equal(correctResult, result);
        }

Ejemplo n.º 2

Archivo: ParsingTests.cs Proyecto: uxsoft/CVUT-TVS5-StateAutomata

 public void ParseArtificialInput()
 {
     var automaton = AbominationCsvReader.Parse("Input/g1A23A.csv");
 }