From 7d6984473fdc49144b99801787c0f0711af64fc6 Mon Sep 17 00:00:00 2001
From: tushar <tusharrai282@gmail.com>
Date: Mon, 21 Dec 2020 23:13:50 +0530
Subject: [PATCH] Changed decision procedure of ExampleDReal.jpf

---
 src/examples/ExampleDReal.jpf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/examples/ExampleDReal.jpf b/src/examples/ExampleDReal.jpf
index dbdaa9c3..2f5eef5d 100644
--- a/src/examples/ExampleDReal.jpf
+++ b/src/examples/ExampleDReal.jpf
@@ -3,7 +3,7 @@ classpath=${jpf-symbc}/build/examples
 sourcepath=${jpf-symbc}/src/examples
 symbolic.method = ExampleDReal.test(sym#sym)
 
-symbolic.dp=dreal
+symbolic.dp=choco
 
 dreal.mode = strictified 
 #or relaxed