From 7ff40d1474a31f8ffb2f28b0b445eec26c1bd190 Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Wed, 13 Jul 2016 17:32:50 +0200
Subject: [PATCH] Fix bug, where tasks for properties are not visible.

---
 ilp_test.py | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/ilp_test.py b/ilp_test.py
index f5af734..b0a54cc 100644
--- a/ilp_test.py
+++ b/ilp_test.py
@@ -10,8 +10,9 @@ try:
 	from fabric.api import task
 except ImportError:
 	from fabric_workaround import task
-import utils, properties
-from utils import local_quiet, assertTrue, assertTrueAssertion
+from properties import profiling
+import utils
+from utils import local_quiet, assertTrue, assertTrueAssertion, call_racket, call_larceny
 
 NUM_PROCESSORS = 4
 
@@ -20,12 +21,12 @@ utils.assertTrue = assertTrueAssertion
 @task(name = 'racket')
 def run_racket(*given_ranges):
 	""" Run ILP tests using Racket """
-	do_run(utils.call_racket, given_ranges)
+	do_run(call_racket, given_ranges)
 
 @task(name = 'larceny')
 def run_larceny(*given_ranges):
 	""" Run ILP tests using larceny """
-	do_run(utils.call_larceny, given_ranges)
+	do_run(call_larceny, given_ranges)
 
 def do_run(call_impl, given_ranges):
 	if not os.path.exists('test'):
@@ -38,8 +39,8 @@ def do_run(call_impl, given_ranges):
 		sys.exit(1)
 
 	# disable profiling as it disturbs ilp output
-	properties.profiling.value = False
-	properties.profiling.write_value()
+	profiling.value = False
+	profiling.write_value()
 
 	test_ids = []
 	for lb,ub in ranges:
-- 
GitLab