Added tests

lcompilers · Oct 9, 2023 · 1830fc9 · 1830fc9
1 parent 6e2de36
commit 1830fc9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/integration_tests/symbolics_01.py b/integration_tests/symbolics_01.py
@@ -6,7 +6,10 @@ def main0():
     y: S = Symbol('y')
     x = pi
     z: S = x + y
+    x = z
+    print(x)
     print(z)
+    assert(x == z)
     assert(z == pi + y)
     assert(z != S(2)*pi + y)