From 9bd411f40557ea9473f348a46ac90e9f615171a2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9a=20Saviot?= <lea.saviot@numworks.com>
Date: Mon, 8 Jun 2020 17:10:02 +0200
Subject: [PATCH] [apps/solver] Add test about failing equation resolution

---
 apps/solver/test/equation_store.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/apps/solver/test/equation_store.cpp b/apps/solver/test/equation_store.cpp
index 11952f66a..5a5534a6f 100644
--- a/apps/solver/test/equation_store.cpp
+++ b/apps/solver/test/equation_store.cpp
@@ -170,6 +170,9 @@ QUIZ_CASE(equation_and_symbolic_computation) {
 
   assert_solves_to({"c+d=5", "c-d=1"}, {"c=3", "d=2"});
 
+  set("e", "8_g");
+  assert_solves_to({"e+1=0"}, {"e=-1"});
+
   unset("a");
   unset("b");
   unset("c");