﻿using NUnit.Framework;
using System;
using System.Collections;
using Symbooglix;
using Microsoft.Boogie;
using Microsoft.Basetypes;

namespace ExprBuilderTests
{
    [TestFixture()]
    public class ConstantFoldingExprBuilderTests : SimpleExprBuilderTestBase
    {
        protected Tuple<SimpleExprBuilder, ConstantFoldingExprBuilder> GetSimpleAndConstantFoldingBuilder()
        {
            var simpleBuilder = GetSimpleBuilder();
            var constantFoldingBuilder = new ConstantFoldingExprBuilder(simpleBuilder);
            return new Tuple<SimpleExprBuilder, ConstantFoldingExprBuilder>(simpleBuilder, constantFoldingBuilder);
        }

        protected ConstantFoldingExprBuilder GetConstantFoldingBuilder()
        {
            return new ConstantFoldingExprBuilder(GetSimpleBuilder());
        }
    }
}


﻿using NUnit.Framework;
using System;
using System.Collections;
using Symbooglix;
using Microsoft.Boogie;
using Microsoft.Basetypes;

namespace ExprBuilderTests
{
    public class ConstantFoldingExprBuilderTests : SimpleExprBuilderTestBase
    {
        protected Tuple<SimpleExprBuilder, ConstantFoldingExprBuilder> GetSimpleAndConstantFoldingBuilder()
        {
            var simpleBuilder = GetSimpleBuilder();
            var constantFoldingBuilder = new ConstantFoldingExprBuilder(simpleBuilder);
            return new Tuple<SimpleExprBuilder, ConstantFoldingExprBuilder>(simpleBuilder, constantFoldingBuilder);
        }

        protected ConstantFoldingExprBuilder GetConstantFoldingBuilder()
        {
            return new ConstantFoldingExprBuilder(GetSimpleBuilder());
        }
    }
}


Remove NUnit attribute accidently left on a class. The attribute is pointless because the class has no tests.
Remove NUnit attribute accidently left on a class. The attribute is
pointless because the class has no tests.
