Skip to content

Commit 21eeb29

Browse files
author
Joel Allred
committed
Enable working smoke tests
Set the currently working some tests as CORE and link the others to GitHub issues.
1 parent 30b5c72 commit 21eeb29

File tree

41 files changed

+49
-42
lines changed

Some content is hidden

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

41 files changed

+49
-42
lines changed

regression/strings-smoke-tests/java_append_char/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
FUTURE
1+
CORE
22
test_append_char.class
33
--refine-strings
44
^EXIT=0$

regression/strings-smoke-tests/java_append_int/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
FUTURE
1+
CORE
22
test_append_int.class
33
--refine-strings
44
^EXIT=0$

regression/strings-smoke-tests/java_append_object/test.desc

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,4 @@ test_append_object.class
55
^SIGNAL=0$
66
^VERIFICATION SUCCESSFUL$
77
--
8+
Issue: diffblue/test-gen#82

regression/strings-smoke-tests/java_append_string/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
FUTURE
1+
CORE
22
test_append_string.class
33
--refine-strings
44
^EXIT=0$

regression/strings-smoke-tests/java_case/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
FUTURE
1+
CORE
22
test_case.class
33
--refine-strings
44
^EXIT=0$

regression/strings-smoke-tests/java_char_array/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
FUTURE
1+
CORE
22
test_char_array.class
33
--refine-strings
44
^EXIT=0$

regression/strings-smoke-tests/java_char_array_init/test.desc

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,4 @@ test_init.class
55
^SIGNAL=0$
66
^VERIFICATION SUCCESSFUL$
77
--
8+
cbmc/test-gen#259

regression/strings-smoke-tests/java_char_at/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
FUTURE
1+
CORE
22
test_char_at.class
33
--refine-strings
44
^EXIT=0$

regression/strings-smoke-tests/java_code_point/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
FUTURE
1+
CORE
22
test_code_point.class
33
--refine-strings
44
^EXIT=0$

regression/strings-smoke-tests/java_compare/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
FUTURE
1+
CORE
22
test_compare.class
33
--refine-strings
44
^EXIT=0$

0 commit comments

Comments
 (0)