From a3348714e93b9883eb87bc69c1610a91316738d3 Mon Sep 17 00:00:00 2001 From: Mark Roberts Date: Tue, 3 Jul 2018 10:50:06 -0700 Subject: [PATCH] no need for replacement-file argument --- do_like_javac/tools/dyntrace.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/do_like_javac/tools/dyntrace.py b/do_like_javac/tools/dyntrace.py index 14cac86..10e81e2 100644 --- a/do_like_javac/tools/dyntrace.py +++ b/do_like_javac/tools/dyntrace.py @@ -45,14 +45,13 @@ def lib(jar): lib("hamcrest-core-1.3.jar"), compile_classpath]) replace_call_classpath = lib('replacecall.jar') - replacement_file = lib('default-replacements.txt') if 'randoop' in run_parts: classes = sorted(common.get_classes(java_command)) class_list_file = make_class_list(test_class_directory, classes) junit_after_path = get_special_file("junit-after", out_dir, i) - generate_tests(args, randoop_classpath, class_list_file, test_src_dir, junit_after_path, replace_call_classpath, replacement_file) + generate_tests(args, randoop_classpath, class_list_file, test_src_dir, junit_after_path, replace_call_classpath) files_to_compile = get_files_to_compile(test_src_dir) compile_test_cases(args, compile_classpath, test_class_directory, files_to_compile) @@ -120,7 +119,7 @@ def make_class_list(out_dir, classes): class_file.flush() return class_file.name -def generate_tests(args, classpath, class_list_file, test_src_dir, junit_after_path, rc_classpath, replacement_file, time_limit=200, output_limit=4000): +def generate_tests(args, classpath, class_list_file, test_src_dir, junit_after_path, rc_classpath, time_limit=200, output_limit=4000): # Methods to be omitted due to non-determinism. omitted_methods = "\"(org\\.la4j\\.operation\\.ooplace\\.OoPlaceKroneckerProduct\\.applyCommon)|(PseudoOracle\\.verifyFace)|(org\\.znerd\\.math\\.NumberCentral\\.createRandomInteger)|(org\\.jbox2d\\.common\\.MathUtils\\.randomFloat.*)|(org\\.jbox2d\\.utests\\.MathTest\\.testFastMath)|(org\\.jbox2d\\.testbed\\.tests\\.DynamicTreeTest.*)|(org\\.la4j\\.Matrix.*)\"" @@ -132,7 +131,7 @@ def generate_tests(args, classpath, class_list_file, test_src_dir, junit_after_p randoop_command = ["java", "-ea", "-classpath", classpath, "-Xbootclasspath/a:{}".format(rc_classpath), - "-javaagent:{}=--replacement-file={}".format(rc_classpath, replacement_file), + "-javaagent:{}".format(rc_classpath), "randoop.main.Main", "gentests", "--classlist={}".format(class_list_file), "--time-limit={}".format(time_limit),