Esempi in C# (CSharp) per ProofChecker

Esempio n. 1

        public void TestContainment()
        {
            Assert.IsTrue(ProofChecker.checkContainment(s1, l1, sane_p));
            Assert.IsFalse(ProofChecker.checkContainment(s1, l2, sane_p));

            Assert.IsFalse(ProofChecker.checkContainment(s2, l1, sane_p));
            Assert.IsFalse(ProofChecker.checkContainment(s2, l2, sane_p));

            Assert.IsFalse(ProofChecker.checkContainment(s3, l1, sane_p));
            Assert.IsTrue(ProofChecker.checkContainment(s3, l2, sane_p));
        }

Esempio n. 2

 public void TestPumpingString()
 {
     ProofChecker.check(l1, s1);
 }