From 97f6d1010acd1cf745a70eb0d7de46f04e5dcdc0 Mon Sep 17 00:00:00 2001 From: Goffi Date: Tue, 30 Nov 2021 17:28:03 +0100 Subject: [PATCH] core (memory/param): don't crash when getting unset int value --- sat/memory/params.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sat/memory/params.py b/sat/memory/params.py index 3635809f..a8952466 100644 --- a/sat/memory/params.py +++ b/sat/memory/params.py @@ -415,7 +415,7 @@ class Params(object): if node.getAttribute("type") == "bool": return C.bool(value_to_use) if node.getAttribute("type") == "int": - return int(value_to_use) + return int(value_to_use) if value_to_use else value_to_use elif node.getAttribute("type") == "list": if ( not value_to_use