replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Remove jdiff from janalyzer/module_dependencies.txt

This commit is contained in:
John Nonweiler 2018-08-24 14:24:50 +01:00
parent 0f0d50bc3e
commit 278d2ffc18
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
jbmc/src/janalyzer/module_dependencies.txt
View File

@ -1,7 +1,6 @@
analyses
ansi-c # should go away
java_bytecode
jdiff
goto-analyzer
goto-programs
langapi # should go away