Skip to content

Commit e2e670e

Browse files
author
thk123
committed
Removing whitespace that causes an error on windows
1 parent a3f7eed commit e2e670e

File tree

5 files changed

+0
-5
lines changed
  • regression/cbmc-java
    • instance-method-user-interface-field
    • instance-method-user-interface-two-fields-different
    • static-method-user-interface-param
    • static-method-user-interface-two-params-different
    • static-method-user-interface-two-params-same

5 files changed

+0
-5
lines changed
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
CORE
22
TestClass.class
33
--cover location --function TestClass.foo --show-goto-functions
4-
54
\.someObject = \(struct I \*\)\w+
65
@class_identifier = "java::A";

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

-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CORE
22
TestClass.class
33
--cover location --function TestClass.foo --show-goto-functions
4-
54
@class_identifier = "java::A";
65
@class_identifier = "java::C";
76
.someObject1 = \(struct I \*\)
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CORE
22
TestClass.class
33
--cover location --function TestClass.foo --show-goto-functions
4-
54
@class_identifier = "java::A";
65
= \(struct I \*\)
76
tmp_object_factory\$\d+ = null;

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

-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CORE
22
TestClass.class
33
--cover location --function TestClass.foo --show-goto-functions
4-
54
@class_identifier = "java::A";
65
= \(struct I \*\)
76
@class_identifier = "java::C";
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CORE
22
TestClass.class
33
--cover location --function TestClass.foo --show-goto-functions
4-
54
@class_identifier = "java::A";
65
= \(struct I \*\)
76
tmp_object_factory\$\d+ = null;

0 commit comments

Comments
 (0)