Skip to content

Commit 01ed76a

Browse files
author
Daniel Kroening
authored
Merge pull request #768 from tautschnig/remove-blanks
Remove blank lines from regression test specs
2 parents 36fa417 + 05192db commit 01ed76a

File tree

82 files changed

+0
-82
lines changed
  • regression
    • acceleration
    • ansi-c
    • cbmc-incr-oneloop
    • cbmc-java/tableswitch2
    • cpp-linter
    • goto-analyzer
      • approx-array-variable-const-fp
      • approx-const-fp-array-variable-cast-const-fp
      • approx-const-fp-array-variable-const-fp-with-null
      • approx-const-fp-array-variable-const-fp
      • approx-const-fp-array-variable-const-pointer-const-struct-non-const-fp
      • approx-const-fp-array-variable-const-struct-non-const-fp
      • approx-const-fp-array-variable-invalid-cast-const-fp
      • no-match-const-array-const-pointer-const-fp-const-lost
      • no-match-const-fp-array-literal-const-fp-run-time
      • no-match-const-fp-array-literal-non-const-fp-run-time
      • no-match-const-fp-array-literal-non-const-fp
      • no-match-const-fp-array-non-const-fp
      • no-match-const-fp-binary-op-const-lost
      • no-match-const-fp-const-array-index-lost
      • no-match-const-fp-const-array-lost
      • no-match-const-fp-const-cast
      • no-match-const-fp-const-lost
      • no-match-const-fp-const-pointer-const-struct-const-fp-null
      • no-match-const-fp-const-pointer-non-const-struct-const-fp
      • no-match-const-fp-dereference-const-pointer-null
      • no-match-const-fp-dereference-non-const-pointer-const-fp
      • no-match-const-fp-dynamic-array-non-const-fp
      • no-match-const-fp-non-const-pointer-non-const-struct-const-fp
      • no-match-const-fp-non-const-struct-const-fp
      • no-match-const-fp-non-const-struct-non-const-fp
      • no-match-const-fp-null
      • no-match-const-fp-ternerary-op-const-lost
      • no-match-const-pointer-const-struct-const-fp-const-cast
      • no-match-const-pointer-non-const-struct-const-fp
      • no-match-const-struct-non-const-fp-null
      • no-match-dereference-const-pointer-const-array-literal-pointer-const-fp
      • no-match-dereference-non-const-struct-const-pointer-const-fp
      • no-match-dereference-non-const-struct-non-const-pointer-const-fp
      • no-match-non-const-fp
      • no-match-parameter-const-fp
      • no-match-parameter-fp
      • no-match-pointer-const-struct-array-literal-non-const-fp
      • precise-const-fp-array-literal-const-fp-run-time
      • precise-const-fp-array-literal-const-struct-non-const-fp
      • precise-const-fp-array-variable-const-pointer-const-struct-non-const-fp
      • precise-const-fp-const-struct-const-array-literal-fp
      • precise-const-fp-const-struct-non-const-array-literal-fp
      • precise-const-fp-const-struct-non-const-fp
      • precise-const-fp-dereference-const-pointer-const-fp
      • precise-const-fp
      • precise-const-pointer-const-struct-fp
      • precise-const-struct-non-const-fp
      • precise-derefence-const-pointer-const-fp
      • precise-derefence
      • precise-dereference-address-pointer-const-fp
      • precise-dereference-const-struct-const-pointer-const-fp
      • precise-dereference-const-struct-const-pointer-const-struct-const-fp
      • precise-dereference-const-struct-pointer-const-fp
    • goto-instrument
      • approx-array-variable-const-fp-only-remove-const
      • approx-array-variable-const-fp-remove-all-fp
      • no-match-non-const-fp-only-remove-const
      • no-match-non-const-fp-remove-all-fp
      • precise-const-fp-only-remove-const
      • precise-const-fp-remove-all-fp

Some content is hidden

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

82 files changed

+0
-82
lines changed

‎regression/acceleration/array_unsafe1/test.desc

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CORE
22
main.c
33
--no-unwinding-assertions
4-
54
^EXIT=10$
65
^SIGNAL=0$
76
^VERIFICATION FAILED$

‎regression/acceleration/array_unsafe2/test.desc

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CORE
22
main.c
33
--no-unwinding-assertions
4-
54
^EXIT=10$
65
^SIGNAL=0$
76
^VERIFICATION FAILED$

‎regression/acceleration/array_unsafe3/test.desc

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CORE
22
main.c
33
--no-unwinding-assertions
4-
54
^EXIT=10$
65
^SIGNAL=0$
76
^VERIFICATION FAILED$

‎regression/acceleration/array_unsafe4/test.desc

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CORE
22
main.c
33
--no-unwinding-assertions
4-
54
^EXIT=10$
65
^SIGNAL=0$
76
^VERIFICATION FAILED$

‎regression/acceleration/const_unsafe1/test.desc

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CORE
22
main.c
33
--no-unwinding-assertions
4-
54
^EXIT=10$
65
^SIGNAL=0$
76
^VERIFICATION FAILED$

‎regression/acceleration/diamond_unsafe1/test.desc

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CORE
22
main.c
33
--no-unwinding-assertions
4-
54
^EXIT=10$
65
^SIGNAL=0$
76
^VERIFICATION FAILED$

‎regression/acceleration/diamond_unsafe2/test.desc

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CORE
22
main.c
33
--no-unwinding-assertions
4-
54
^EXIT=10$
65
^SIGNAL=0$
76
^VERIFICATION FAILED$

‎regression/acceleration/functions_unsafe1/test.desc

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CORE
22
main.c
33
--no-unwinding-assertions
4-
54
^EXIT=10$
65
^SIGNAL=0$
76
^VERIFICATION FAILED$

‎regression/acceleration/multivar_unsafe1/test.desc

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CORE
22
main.c
33
--no-unwinding-assertions
4-
54
^EXIT=10$
65
^SIGNAL=0$
76
^VERIFICATION FAILED$

‎regression/acceleration/nested_unsafe1/test.desc

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CORE
22
main.c
33
--no-unwinding-assertions
4-
54
^EXIT=10$
65
^SIGNAL=0$
76
^VERIFICATION FAILED$

0 commit comments

Comments
 (0)