Skip to content

Commit 727f316

Browse files
thk123thk123
authored
Merge pull request #1149 from thk123/refactor/select-nondet-init-interface
Moved select_pointer_type implementation into test-gen
2 parents 9af615d + 366ee47 commit 727f316

Some content is hidden

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

47 files changed

+141
-520
lines changed

‎regression/cbmc-java/instance-method-user-interface-field/A.class

-347 Bytes
Binary file not shown.

‎regression/cbmc-java/instance-method-user-interface-field/B.class

-347 Bytes
Binary file not shown.

‎regression/cbmc-java/instance-method-user-interface-field/I.class

-118 Bytes
Binary file not shown.

‎regression/cbmc-java/instance-method-user-interface-field/TestClass.class

-712 Bytes
Binary file not shown.

‎regression/cbmc-java/instance-method-user-interface-field/TestClass.java

Lines changed: 0 additions & 44 deletions
This file was deleted.

‎regression/cbmc-java/instance-method-user-interface-field/test.desc

Lines changed: 0 additions & 5 deletions
This file was deleted.

‎regression/cbmc-java/instance-method-user-interface-two-fields-different/A.class

-347 Bytes
Binary file not shown.

‎regression/cbmc-java/instance-method-user-interface-two-fields-different/B.class

-347 Bytes
Binary file not shown.

‎regression/cbmc-java/instance-method-user-interface-two-fields-different/C.class

-351 Bytes
Binary file not shown.

‎regression/cbmc-java/instance-method-user-interface-two-fields-different/D.class

-351 Bytes
Binary file not shown.

‎regression/cbmc-java/instance-method-user-interface-two-fields-different/I.class

-118 Bytes
Binary file not shown.

‎regression/cbmc-java/instance-method-user-interface-two-fields-different/J.class

-118 Bytes
Binary file not shown.

‎regression/cbmc-java/instance-method-user-interface-two-fields-different/TestClass.class

-836 Bytes
Binary file not shown.

‎regression/cbmc-java/instance-method-user-interface-two-fields-different/TestClass.java

Lines changed: 0 additions & 61 deletions
This file was deleted.

‎regression/cbmc-java/instance-method-user-interface-two-fields-different/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎regression/cbmc-java/static-method-user-interface-param/A.class

-347 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-param/B.class

-347 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-param/I.class

-118 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-param/TestClass.class

-691 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-param/TestClass.java

Lines changed: 0 additions & 42 deletions
This file was deleted.

‎regression/cbmc-java/static-method-user-interface-param/test.desc

Lines changed: 0 additions & 6 deletions
This file was deleted.

‎regression/cbmc-java/static-method-user-interface-two-params-different/A.class

-347 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-two-params-different/B.class

-347 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-two-params-different/C.class

-351 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-two-params-different/D.class

-351 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-two-params-different/I.class

-118 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-two-params-different/J.class

-118 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-two-params-different/TestClass.class

-804 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-two-params-different/TestClass.java

Lines changed: 0 additions & 57 deletions
This file was deleted.

‎regression/cbmc-java/static-method-user-interface-two-params-different/test.desc

Lines changed: 0 additions & 8 deletions
This file was deleted.

‎regression/cbmc-java/static-method-user-interface-two-params-same/A.class

-347 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-two-params-same/B.class

-347 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-two-params-same/I.class

-118 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-two-params-same/TestClass.class

-697 Bytes
Binary file not shown.

‎regression/cbmc-java/static-method-user-interface-two-params-same/TestClass.java

Lines changed: 0 additions & 41 deletions
This file was deleted.

‎regression/cbmc-java/static-method-user-interface-two-params-same/test.desc

Lines changed: 0 additions & 6 deletions
This file was deleted.

‎src/goto-programs/convert_nondet.cpp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,7 @@ Author: Reuben Thomas, [email protected]
1414
#include "goto-programs/goto_model.h"
1515
#include "goto-programs/remove_skip.h"
1616

17+
#include <memory>
1718
#include "java_bytecode/java_object_factory.h" // gen_nondet_init
1819

1920
#include "util/irep_ids.h"

‎src/java_bytecode/Makefile

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,6 @@ SRC = bytecode_info.cpp \
22
character_refine_preprocess.cpp \
33
ci_lazy_methods.cpp \
44
expr2java.cpp \
5-
get_concrete_class_alphabetically.cpp \
65
jar_file.cpp \
76
java_bytecode_convert_class.cpp \
87
java_bytecode_convert_method.cpp \

0 commit comments

Comments
 (0)