From 43fcf6e297c4c305eb8f5cf3c91f8e507d440b83 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Wed, 6 Jan 2021 07:08:59 +0100
Subject: prepping measurement setup w/ dreal

---
 .../inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java    | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic')

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
index c71bb53a..d7268bb9 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
@@ -74,7 +74,10 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{
 						containerName,
 						"dreal"));
 		if (getModel) {drealCmd.add("--model");}
-		drealCmd.add("mnt/" + tempFileName);
+		String tmpFileLoc = "mnt/" + tempFileName;
+		//REMOVE LINE BELOW IF USING WINDOWS
+		tmpFileLoc = "../" + tmpFileLoc;//ONLY IF USING LINUX
+		drealCmd.add(tmpFileLoc);		
 		return runProcess(drealCmd);
 	}
 	
@@ -288,7 +291,7 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{
 		//DEBUG - Print things
 //		printFileContent(System.getProperty("java.io.tmpdir") + tempFileName);
 //		printOutput(outputs.get(0));
-		System.out.println(result);
+//		System.out.println(result);
 		//END DEBUG
 		
 		return result;
-- 
cgit v1.2.3-54-g00ecf