From cb4cd2af48166e54ec89f3c1adbb0ba3dbc0fb34 Mon Sep 17 00:00:00 2001 From: Owen Jones Date: Thu, 13 Sep 2018 10:27:07 +0100 Subject: [PATCH] Change package to org.cprover for three classes Change from com.diffblue to org.cprover for IgnoredMethodImplementation, OverlayClassImplementation and OverlayMethodImplementation. --- .../diffblue/OverlayClassImplementation.class | Bin 185 -> 0 bytes .../diffblue/OverlayMethodImplementation.class | Bin 187 -> 0 bytes .../cprover/OverlayClassImplementation.class | Bin 0 -> 184 bytes .../cprover}/OverlayClassImplementation.java | 2 +- .../cprover/OverlayMethodImplementation.class | Bin 0 -> 186 bytes .../cprover}/OverlayMethodImplementation.java | 2 +- .../overlay-class/correct-overlay/Test.class | Bin 412 -> 512 bytes .../overlay-class/correct-overlay/Test.java | 4 ++-- .../overlay-class/unmarked-overlay/Test.class | Bin 601 -> 702 bytes .../overlay-class/unmarked-overlay/Test.java | 4 ++-- .../java_bytecode_convert_class.cpp | 4 ++-- jbmc/src/java_bytecode/java_class_loader.cpp | 2 +- src/util/irep_ids.def | 6 +++--- 13 files changed, 12 insertions(+), 12 deletions(-) delete mode 100644 jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayClassImplementation.class delete mode 100644 jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayMethodImplementation.class create mode 100644 jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayClassImplementation.class rename jbmc/regression/jbmc/overlay-class/annotations/{com/diffblue => org/cprover}/OverlayClassImplementation.java (69%) create mode 100644 jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayMethodImplementation.class rename jbmc/regression/jbmc/overlay-class/annotations/{com/diffblue => org/cprover}/OverlayMethodImplementation.java (69%) diff --git a/jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayClassImplementation.class b/jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayClassImplementation.class deleted file mode 100644 index 49c5688dd416ab1b0291bbb8050d86c74080395b..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 185 zcmX^0Z`VEs1_l!bPId-1b_RBK1`b9BuHgLAqU2P!%$!t426_Lo)S{fkO6Q!!;$qL- zf}GUc)Vz|!lFa-(y{yEtL`DYnv lfW{+)67%x%AqML^!kKD}42%p+K+FtuCIgUW0g_A%tNvsKN~=jYK#nw3`{`G40I&}kY)jrObo05@6$FZ literal 0 HcmV?d00001 diff --git a/jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayClassImplementation.java b/jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayClassImplementation.java similarity index 69% rename from jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayClassImplementation.java rename to jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayClassImplementation.java index 99021b8f6cc..5262c83ab2f 100644 --- a/jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayClassImplementation.java +++ b/jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayClassImplementation.java @@ -1,4 +1,4 @@ -package com.diffblue; +package org.cprover; public @interface OverlayClassImplementation { } diff --git a/jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayMethodImplementation.class b/jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayMethodImplementation.class new file mode 100644 index 0000000000000000000000000000000000000000..07dab94e6eb5786c08ba4e93e94f6ea34370b527 GIT binary patch literal 186 zcmX^0Z`VEs1_l!bPId-1b_RBK1`b9BuHgLAqU2P!%$!t41_l4J)S{fkO5fCyjQkYO z+=86c+|<01#FEVXJiV;MvP4D(_57lA{p5n8e4t8wJjxjv1V9?}a}x8?_5G8wQj<#< l8RQW{iFtYX5QFs{;Y>9~21W)ZAZ7--lL1Jx07)hWRseijHvs?u literal 0 HcmV?d00001 diff --git a/jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayMethodImplementation.java b/jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayMethodImplementation.java similarity index 69% rename from jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayMethodImplementation.java rename to jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayMethodImplementation.java index d3d7211f594..b885d4b6348 100644 --- a/jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayMethodImplementation.java +++ b/jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayMethodImplementation.java @@ -1,4 +1,4 @@ -package com.diffblue; +package org.cprover; public @interface OverlayMethodImplementation { } diff --git a/jbmc/regression/jbmc/overlay-class/correct-overlay/Test.class b/jbmc/regression/jbmc/overlay-class/correct-overlay/Test.class index c6caf42f66eac058f3561c867f1c0ef1b276acaa..8f587a9bb7b58286b8a9f8cecf440f0ea85afc14 100644 GIT binary patch delta 274 zcmbQk+`uAw>ff$?3=9k=43b<7%nV}e4C3qz5)(y@l!biqlM{2o5{ohulX6l+Km;QL zOG!p%F(U(;Pe^KUiSGcW=n0|Tqpb_T|cKn4>7Cy-==2r_U1**s7-H;}~u xl;vgM1FGTxvbBL2q!~jaFOo(^27U$spdvva1{o^^q?s6m!K4TeTv(KW0RZ@1EtdcQ delta 176 zcmZo*nZqo4>ff$?3=9k=3?f_%%nX9;3_|P-!V^V}CgvziTq(z=<&&JBtDlmYmX?%L znmX}{1)nC0$Ye>zm~>eNMj&KhVAa~rz_<~}U}WF~l57w`Ae)PUn}Lae11Kg5mIbOn YSH{c01J%L{q?s7_z$8ChRDgj20FP`L6aWAK diff --git a/jbmc/regression/jbmc/overlay-class/correct-overlay/Test.java b/jbmc/regression/jbmc/overlay-class/correct-overlay/Test.java index 7618d61f874..567c87bff93 100644 --- a/jbmc/regression/jbmc/overlay-class/correct-overlay/Test.java +++ b/jbmc/regression/jbmc/overlay-class/correct-overlay/Test.java @@ -1,5 +1,5 @@ -import com.diffblue.OverlayClassImplementation; -import com.diffblue.OverlayMethodImplementation; +import org.cprover.OverlayClassImplementation; +import org.cprover.OverlayMethodImplementation; @OverlayClassImplementation public class Test diff --git a/jbmc/regression/jbmc/overlay-class/unmarked-overlay/Test.class b/jbmc/regression/jbmc/overlay-class/unmarked-overlay/Test.class index 9153608f2ba35c9af611c59b337289f2d43da02f..dbcbb705557e32a9703a21b73fc79e43b2037f17 100644 GIT binary patch delta 298 zcmYjL%TB^j5Iwg~xhX{+qEZC}4be?qu!9g6gjIJEH?FRvDJ2axmxh0E+4M_XnYdtU zV&Vt*Gsd~NF_SrS=FFVQd>cD+@cHw;12DuDhYha;6K6KgIdph7+8iBpZCvDoX}=bv z3z0ks8H=YRoGV~3vSqwsu!4EG$wqnH^9&&)QtFSvN^FInh;`)OXEI(#qx|Kzd>y1R z@)yrC-G(y%NUffOJ}!$f3nxAp1z_I1fxQyZP$snYq5+q<^S6Ks4yh}liW+S>#An49 xYmN22gOjGFF8DuJ1$8t?KcdvZTr`QOZc zs$c){`A_px7`?uaCom&aSTr3>S{7}ELDQn62