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

java bytecode

This commit is contained in:
Daniel Kroening 2013-05-30 17:29:52 +00:00
parent 2fc56474a7
commit e390879a31
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/hw-cbmc/Makefile
View File

@ -14,6 +14,7 @@ OBJ+= $(CBMC)/src/cbmc/parseoptions$(OBJEXT) \
$(CBMC)/src/cbmc/dimacs$(OBJEXT) \
$(CBMC)/src/cbmc/all_claims$(OBJEXT) \
$(CBMC)/src/ansi-c/ansi-c$(LIBEXT) \
$(CBMC)/src/java_bytecode/java_bytecode$(LIBEXT) \
$(CBMC)/src/assembler/assembler$(LIBEXT) \
$(CBMC)/src/linking/linking$(LIBEXT) \
$(CBMC)/src/xmllang/xmllang$(LIBEXT) \