pydrake symbolic: Ensure compound formulas fail (Resolves RobotLocomo…

…tion#8536)
EricCousineau-TRI · Apr 9, 2018 · ef46573 · ef46573
1 parent 43f4347
commit ef46573
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/bindings/pydrake/test/symbolic_test.py b/bindings/pydrake/test/symbolic_test.py
@@ -477,6 +477,9 @@ def test_relational_operators_nonzero(self):
         msg = cm.exception.message
         self.assertTrue(
             all([s in msg for s in ["__nonzero__", "EqualToDict"]]), msg)
+        # Ensure that compound formulas fail (#8536).
+        with self.assertRaises(RuntimeError):
+            value = 0 < e_y < e_y
         # Indication of #8135. Ideally, these would all be arrays of formulas.
         e_xv = np.array([e_x, e_x])
         e_yv = np.array([e_y, e_y])