from __future__ import print_function
import deepstate_base
import logrun


class RunlenTest(deepstate_base.DeepStateTestCase):
  def run_deepstate(self, deepstate):
    if deepstate == "deepstate-manticore":
       return # Just skip for now, we know it's too slow    
    (r, output) = logrun.logrun([deepstate, "build/examples/Runlen"],
                  "deepstate.out", 2900)
    self.assertEqual(r, 0)

    self.assertTrue("Passed: Runlength_EncodeDecode" in output)
    foundFailSave = False
    for line in output.split("\n"):
      if ("Saved test case" in line) and (".fail" in line):
        foundFailSave = True
    self.assertTrue(foundFailSave)