Skip to content
This repository was archived by the owner on Oct 3, 2021. It is now read-only.

Commit 44f67b2

Browse files
lembergerthlembergerth
committed
Add reuse headers to XCSP programs
Properly format assert(0)-changes, as well - this is implied by the necessary formatting of the benchmark tasks and can't be solved in an easy way
1 parent b5bbaf7 commit 44f67b2

File tree

122 files changed

+1512
-195
lines changed

Some content is hidden

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

122 files changed

+1512
-195
lines changed

‎.reuse/dep5‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -142,7 +142,6 @@ Files:
142142
c/termination-restricted-15-todo
143143
c/uthash-2.0.2
144144
c/verifythis
145-
c/xcsp
146145
java/MinePump
147146
java/algorithms
148147
java/java-ranger-regression

‎c/xcsp/AllInterval-005.c‎

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,20 @@
1+
// This file is part of the SV-Benchmarks collection of verification tasks:
2+
// https://github.com/sosy-lab/sv-benchmarks
3+
//
4+
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
6+
//
7+
// SPDX-License-Identifier: MIT
8+
19
extern void abort(void) __attribute__((__nothrow__, __leaf__))
210
__attribute__((__noreturn__));
11+
extern void __assert_fail(const char *, const char *, unsigned int,
12+
const char *) __attribute__((__nothrow__, __leaf__))
13+
__attribute__((__noreturn__));
314
int __VERIFIER_nondet_int();
4-
extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
5-
void reach_error() { __assert_fail("0", "AllInterval-005.c", 5, "reach_error"); }
15+
void reach_error() {
16+
__assert_fail("0", "AllInterval-005.c", 5, "reach_error");
17+
}
618
void assume(int cond) {
719
if (!cond)
820
abort();

‎c/xcsp/AllInterval-006.c‎

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,20 @@
1+
// This file is part of the SV-Benchmarks collection of verification tasks:
2+
// https://github.com/sosy-lab/sv-benchmarks
3+
//
4+
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
6+
//
7+
// SPDX-License-Identifier: MIT
8+
19
extern void abort(void) __attribute__((__nothrow__, __leaf__))
210
__attribute__((__noreturn__));
11+
extern void __assert_fail(const char *, const char *, unsigned int,
12+
const char *) __attribute__((__nothrow__, __leaf__))
13+
__attribute__((__noreturn__));
314
int __VERIFIER_nondet_int();
4-
extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
5-
void reach_error() { __assert_fail("0", "AllInterval-006.c", 5, "reach_error"); }
15+
void reach_error() {
16+
__assert_fail("0", "AllInterval-006.c", 5, "reach_error");
17+
}
618
void assume(int cond) {
719
if (!cond)
820
abort();

‎c/xcsp/AllInterval-007.c‎

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,20 @@
1+
// This file is part of the SV-Benchmarks collection of verification tasks:
2+
// https://github.com/sosy-lab/sv-benchmarks
3+
//
4+
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
6+
//
7+
// SPDX-License-Identifier: MIT
8+
19
extern void abort(void) __attribute__((__nothrow__, __leaf__))
210
__attribute__((__noreturn__));
11+
extern void __assert_fail(const char *, const char *, unsigned int,
12+
const char *) __attribute__((__nothrow__, __leaf__))
13+
__attribute__((__noreturn__));
314
int __VERIFIER_nondet_int();
4-
extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
5-
void reach_error() { __assert_fail("0", "AllInterval-007.c", 5, "reach_error"); }
15+
void reach_error() {
16+
__assert_fail("0", "AllInterval-007.c", 5, "reach_error");
17+
}
618
void assume(int cond) {
719
if (!cond)
820
abort();

‎c/xcsp/AllInterval-008.c‎

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,20 @@
1+
// This file is part of the SV-Benchmarks collection of verification tasks:
2+
// https://github.com/sosy-lab/sv-benchmarks
3+
//
4+
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
6+
//
7+
// SPDX-License-Identifier: MIT
8+
19
extern void abort(void) __attribute__((__nothrow__, __leaf__))
210
__attribute__((__noreturn__));
11+
extern void __assert_fail(const char *, const char *, unsigned int,
12+
const char *) __attribute__((__nothrow__, __leaf__))
13+
__attribute__((__noreturn__));
314
int __VERIFIER_nondet_int();
4-
extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
5-
void reach_error() { __assert_fail("0", "AllInterval-008.c", 5, "reach_error"); }
15+
void reach_error() {
16+
__assert_fail("0", "AllInterval-008.c", 5, "reach_error");
17+
}
618
void assume(int cond) {
719
if (!cond)
820
abort();

‎c/xcsp/AllInterval-009.c‎

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,20 @@
1+
// This file is part of the SV-Benchmarks collection of verification tasks:
2+
// https://github.com/sosy-lab/sv-benchmarks
3+
//
4+
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
6+
//
7+
// SPDX-License-Identifier: MIT
8+
19
extern void abort(void) __attribute__((__nothrow__, __leaf__))
210
__attribute__((__noreturn__));
11+
extern void __assert_fail(const char *, const char *, unsigned int,
12+
const char *) __attribute__((__nothrow__, __leaf__))
13+
__attribute__((__noreturn__));
314
int __VERIFIER_nondet_int();
4-
extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
5-
void reach_error() { __assert_fail("0", "AllInterval-009.c", 5, "reach_error"); }
15+
void reach_error() {
16+
__assert_fail("0", "AllInterval-009.c", 5, "reach_error");
17+
}
618
void assume(int cond) {
719
if (!cond)
820
abort();

‎c/xcsp/AllInterval-010.c‎

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,20 @@
1+
// This file is part of the SV-Benchmarks collection of verification tasks:
2+
// https://github.com/sosy-lab/sv-benchmarks
3+
//
4+
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
6+
//
7+
// SPDX-License-Identifier: MIT
8+
19
extern void abort(void) __attribute__((__nothrow__, __leaf__))
210
__attribute__((__noreturn__));
11+
extern void __assert_fail(const char *, const char *, unsigned int,
12+
const char *) __attribute__((__nothrow__, __leaf__))
13+
__attribute__((__noreturn__));
314
int __VERIFIER_nondet_int();
4-
extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
5-
void reach_error() { __assert_fail("0", "AllInterval-010.c", 5, "reach_error"); }
15+
void reach_error() {
16+
__assert_fail("0", "AllInterval-010.c", 5, "reach_error");
17+
}
618
void assume(int cond) {
719
if (!cond)
820
abort();

‎c/xcsp/AllInterval-011.c‎

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,20 @@
1+
// This file is part of the SV-Benchmarks collection of verification tasks:
2+
// https://github.com/sosy-lab/sv-benchmarks
3+
//
4+
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
6+
//
7+
// SPDX-License-Identifier: MIT
8+
19
extern void abort(void) __attribute__((__nothrow__, __leaf__))
210
__attribute__((__noreturn__));
11+
extern void __assert_fail(const char *, const char *, unsigned int,
12+
const char *) __attribute__((__nothrow__, __leaf__))
13+
__attribute__((__noreturn__));
314
int __VERIFIER_nondet_int();
4-
extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
5-
void reach_error() { __assert_fail("0", "AllInterval-011.c", 5, "reach_error"); }
15+
void reach_error() {
16+
__assert_fail("0", "AllInterval-011.c", 5, "reach_error");
17+
}
618
void assume(int cond) {
719
if (!cond)
820
abort();

‎c/xcsp/AllInterval-012.c‎

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,20 @@
1+
// This file is part of the SV-Benchmarks collection of verification tasks:
2+
// https://github.com/sosy-lab/sv-benchmarks
3+
//
4+
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
6+
//
7+
// SPDX-License-Identifier: MIT
8+
19
extern void abort(void) __attribute__((__nothrow__, __leaf__))
210
__attribute__((__noreturn__));
11+
extern void __assert_fail(const char *, const char *, unsigned int,
12+
const char *) __attribute__((__nothrow__, __leaf__))
13+
__attribute__((__noreturn__));
314
int __VERIFIER_nondet_int();
4-
extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
5-
void reach_error() { __assert_fail("0", "AllInterval-012.c", 5, "reach_error"); }
15+
void reach_error() {
16+
__assert_fail("0", "AllInterval-012.c", 5, "reach_error");
17+
}
618
void assume(int cond) {
719
if (!cond)
820
abort();

‎c/xcsp/AllInterval-013.c‎

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,20 @@
1+
// This file is part of the SV-Benchmarks collection of verification tasks:
2+
// https://github.com/sosy-lab/sv-benchmarks
3+
//
4+
// SPDX-FileCopyrightText: 2016 Gilles Audemard
5+
// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
6+
//
7+
// SPDX-License-Identifier: MIT
8+
19
extern void abort(void) __attribute__((__nothrow__, __leaf__))
210
__attribute__((__noreturn__));
11+
extern void __assert_fail(const char *, const char *, unsigned int,
12+
const char *) __attribute__((__nothrow__, __leaf__))
13+
__attribute__((__noreturn__));
314
int __VERIFIER_nondet_int();
4-
extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
5-
void reach_error() { __assert_fail("0", "AllInterval-013.c", 5, "reach_error"); }
15+
void reach_error() {
16+
__assert_fail("0", "AllInterval-013.c", 5, "reach_error");
17+
}
618
void assume(int cond) {
719
if (!cond)
820
abort();

0 commit comments

Comments
 (0)