From eb113de21edfd151304af462dc694bd89b5a174a Mon Sep 17 00:00:00 2001 From: timo92 Date: Mon, 19 Jun 2017 11:20:01 +0200 Subject: [PATCH] Add some incosistencies --- app/controllers/AsyncController.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/app/controllers/AsyncController.scala b/app/controllers/AsyncController.scala index b5ebedb..bb6e404 100644 --- a/app/controllers/AsyncController.scala +++ b/app/controllers/AsyncController.scala @@ -20,8 +20,8 @@ object AsyncController extends Controller { } private def simpleZ3Check(): Future[String] = Future { - val config = new util.HashMap[String, String]() - config.put("model", "true") + val config = new util.HashMap[String, String]() + config.put("model", "true") config.put("unsat_core", "true") val context = new Context(config) val a = 4