(self)
| 339 | assert "S" in var_names |
| 340 | |
| 341 | def test_nat_var(self): |
| 342 | n = Nat("n") |
| 343 | assert n.sort() == NatSort() |
| 344 | assert any(name == "n" for name, _ in n._vars) |
| 345 | |
| 346 | def test_val_constructors(self): |
| 347 | assert isinstance(IntVal(42)._ast, IntLit) and IntVal(42)._ast.val == 42 |