コード例 #1
0
ファイル: spec_test.py プロジェクト: ericskim/tulip-control
    def test_or(self):
        g = GRSpec(env_vars={"z"}, env_prog=["!z"])
        h = self.f | g
        assert len(h.env_vars) == 2 and h.env_vars.has_key("z")
        assert len(h.env_prog) == len(self.f.env_prog)+1 and "!z" in h.env_prog

        # Domain mismatch on system variable y
        g.sys_vars = {"y": (0,5)}
        nt.assert_raises(ValueError, self.f.__or__, g)

        # Domain mismatch on environment variable x
        g.sys_vars = dict()
        g.env_vars["x"] = (0,3)
        nt.assert_raises(ValueError, self.f.__or__, g)