From 0ebddc8dd265cd5b1b439e3c06f1de1047641559 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 16 Feb 2021 03:06:22 +0100
Subject: add dreal-timeout flag

---
 .../dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend  | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend')

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend
index 74388706..923c847e 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend
@@ -85,6 +85,7 @@ class ViatraReasonerConfiguration extends LogicSolverConfiguration {
 	public var calculateObjectCreationCosts = false
 	public NumericSolverSelection numericSolverSelection = NumericSolverSelection.Z3 //currently defaulted to Z3
 	public var drealLocalPath = "<path-to-dreal>";
+	public var drealTimeout = 10000;
 	public var Map<String, Map<String, String>> ignoredAttributesMap = null;
 	public var ExplorationStrategy strategy = ExplorationStrategy.None
 	
-- 
cgit v1.2.3-70-g09d2