Skip to content
Snippets Groups Projects
Commit 7ff40d14 authored by René Schöne's avatar René Schöne
Browse files

Fix bug, where tasks for properties are not visible.

parent 41509c1b
No related branches found
No related tags found
No related merge requests found
...@@ -10,8 +10,9 @@ try: ...@@ -10,8 +10,9 @@ try:
from fabric.api import task from fabric.api import task
except ImportError: except ImportError:
from fabric_workaround import task from fabric_workaround import task
import utils, properties from properties import profiling
from utils import local_quiet, assertTrue, assertTrueAssertion import utils
from utils import local_quiet, assertTrue, assertTrueAssertion, call_racket, call_larceny
NUM_PROCESSORS = 4 NUM_PROCESSORS = 4
...@@ -20,12 +21,12 @@ utils.assertTrue = assertTrueAssertion ...@@ -20,12 +21,12 @@ utils.assertTrue = assertTrueAssertion
@task(name = 'racket') @task(name = 'racket')
def run_racket(*given_ranges): def run_racket(*given_ranges):
""" Run ILP tests using Racket """ """ Run ILP tests using Racket """
do_run(utils.call_racket, given_ranges) do_run(call_racket, given_ranges)
@task(name = 'larceny') @task(name = 'larceny')
def run_larceny(*given_ranges): def run_larceny(*given_ranges):
""" Run ILP tests using larceny """ """ 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): def do_run(call_impl, given_ranges):
if not os.path.exists('test'): if not os.path.exists('test'):
...@@ -38,8 +39,8 @@ def do_run(call_impl, given_ranges): ...@@ -38,8 +39,8 @@ def do_run(call_impl, given_ranges):
sys.exit(1) sys.exit(1)
# disable profiling as it disturbs ilp output # disable profiling as it disturbs ilp output
properties.profiling.value = False profiling.value = False
properties.profiling.write_value() profiling.write_value()
test_ids = [] test_ids = []
for lb,ub in ranges: for lb,ub in ranges:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment