From 35096b8061176e6e9e62105c55fd36c9e89427b6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20G=C3=BCdemann?= <matthias.guedemann@diffblue.com>
Date: Thu, 2 Nov 2017 10:49:48 +0100
Subject: [PATCH] Initialize architecture in `instantiate_not_contains` unit
 test

Not having initialized the pointer width led to an invariant violation in some
circumstances.
---
 .../instantiate_not_contains.cpp                              | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/unit/solvers/refinement/string_constraint_instantiation/instantiate_not_contains.cpp b/unit/solvers/refinement/string_constraint_instantiation/instantiate_not_contains.cpp
index 2b33ebaed4c..fe4d6d6bbe0 100644
--- a/unit/solvers/refinement/string_constraint_instantiation/instantiate_not_contains.cpp
+++ b/unit/solvers/refinement/string_constraint_instantiation/instantiate_not_contains.cpp
@@ -15,6 +15,7 @@
 #include <langapi/mode.h>
 #include <java_bytecode/java_bytecode_language.h>
 #include <util/simplify_expr.h>
+#include <util/config.h>
 
 /// \class Types used throughout the test. Currently it is impossible to
 /// statically initialize this value, there is a PR to allow this
@@ -161,6 +162,9 @@ SCENARIO("instantiate_not_contains",
   symbol_tablet symtbl;
   const namespacet ns(symtbl);
 
+  // initialize architecture with sensible default values
+  config.set_arch("none");
+
   // Creating strings
   const auto ab_array = make_string_exprt("ab");
   const auto b_array = make_string_exprt("b");