Skip to content

Commit baf910a

Browse files
committed
Rename src' directory into deepconcolic', and deepconcolic.py' into main.py'
This keeps some minimal consistency across all included tools
1 parent fcf6b39 commit baf910a

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

48 files changed

+20
-38
lines changed

README.md

+19-37
File renamed without changes.

src/ap_lp.py deepconcolic/ap_lp.py

File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

src/dbnc.py deepconcolic/dbnc.py

File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

src/fuzzer.py deepconcolic/fuzzer.py

+1-1
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@
88
from fuzz_variables import *
99

1010
## to be refined
11-
apps = ['./src/run_template.py']
11+
apps = ['./deepconcolic/run_template.py']
1212

1313
def run(test_object, outs, model_name, stime, file_list,
1414
num_tests = 1000, num_processes = 1):
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

src/lp.py deepconcolic/lp.py

File renamed without changes.
File renamed without changes.

src/mcdc.py deepconcolic/mcdc.py

File renamed without changes.
File renamed without changes.

src/nc.py deepconcolic/nc.py

File renamed without changes.

src/nc_l0.py deepconcolic/nc_l0.py

File renamed without changes.
File renamed without changes.

src/norms.py deepconcolic/norms.py

File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

src/ssc.py deepconcolic/ssc.py

File renamed without changes.
File renamed without changes.
File renamed without changes.

src/utils.py deepconcolic/utils.py

File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

0 commit comments

Comments
 (0)