Method test_val_constructors

tests/test_z3_compat.py:346–350

(self)

        assert any(name == "n" for name, _ in n._vars)

    def test_val_constructors(self):
        assert isinstance(IntVal(42)._ast, IntLit) and IntVal(42)._ast.val == 42
        assert isinstance(NatVal(7)._ast, NatLit) and NatVal(7)._ast.val == 7
        assert isinstance(BoolVal(True)._ast, BoolLit) and BoolVal(True)._ast.val is True
        assert isinstance(BoolVal(False)._ast, BoolLit) and BoolVal(False)._ast.val is False


class TestCompilation: