From 1830fc916b2a70fe64caf734aca1a4a6c952fed3 Mon Sep 17 00:00:00 2001 From: anutosh491 Date: Mon, 9 Oct 2023 08:36:10 +0530 Subject: [PATCH] Added tests --- integration_tests/symbolics_01.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/integration_tests/symbolics_01.py b/integration_tests/symbolics_01.py index 525cf6ab4c..3187a9005f 100644 --- 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)