From ede784582daf0da7fbbba1d15f385ad178381e2c Mon Sep 17 00:00:00 2001
From: burgholzer <burgholzer@me.com>
Date: Thu, 14 Sep 2023 07:26:08 +0200
Subject: [PATCH] =?UTF-8?q?=F0=9F=94=A5=20remove=20assertions?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: burgholzer <burgholzer@me.com>
---
 include/dd/Package.hpp | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/include/dd/Package.hpp b/include/dd/Package.hpp
index 0011bdfb2..8b5844c6b 100644
--- a/include/dd/Package.hpp
+++ b/include/dd/Package.hpp
@@ -1578,11 +1578,9 @@ template <class Config> class Package {
 
     Qubit var{};
     if (!x.isTerminal()) {
-      assert(x.p != nullptr);
       var = x.p->v;
     }
     if (!y.isTerminal() && (y.p->v) > var) {
-      assert(y.p != nullptr);
       var = y.p->v;
     }
 
@@ -1628,11 +1626,6 @@ template <class Config> class Package {
     constexpr std::size_t n = std::tuple_size_v<decltype(x.p->e)>;
     std::array<Edge<Node>, n> edge{};
     for (std::size_t i = 0U; i < n; i++) {
-      if constexpr (std::is_same_v<Node, vNode>) {
-        assert(!x.isTerminal() && "x must not be terminal");
-        assert(!y.isTerminal() && "y must not be terminal");
-        assert(x.p->v == y.p->v && "x and y must be at the same level");
-      }
       Edge<Node> e1{};
       if (!x.isTerminal()) {
         e1 = x.p->e[i];