From c7bb2f5048e63c8d3782992a7db8858d2fa31dc7 Mon Sep 17 00:00:00 2001
From: Jan at TU-Delft <J.W.Thorbecke@tudelft.nl>
Date: Thu, 18 Apr 2019 16:54:48 +0200
Subject: [PATCH] mdd error check
---
MDD/mdd.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/MDD/mdd.c b/MDD/mdd.c
index 93a6e27..ec2bd06 100644
--- a/MDD/mdd.c
+++ b/MDD/mdd.c
@@ -146,6 +146,7 @@ int main (int argc, char **argv)
if (!getparstring("file_B", &file_B)) file_B=NULL;
assert(file_B != NULL);
if (!getparstring("file_out", &file_out)) file_out=NULL;
+ assert(file_out != NULL);
if (!getparstring("file_dmat", &file_dmat)) file_dmat=NULL;
if (!getparint("one_file", &one_file)) one_file = 1;
--
GitLab