diffblue
diff --git a/‎…tracts/quantifiers-exists-both-01/main.c‎ ‎…s/quantifiers-exists-both-enforce/main.c‎regression/contracts/quantifiers-exists-both-01/main.c renamed to regression/contracts/quantifiers-exists-both-enforce/main.c b/‎…tracts/quantifiers-exists-both-01/main.c‎ ‎…s/quantifiers-exists-both-enforce/main.c‎regression/contracts/quantifiers-exists-both-01/main.c renamed to regression/contracts/quantifiers-exists-both-enforce/main.c
diff --git a/‎…cts/quantifiers-exists-both-01/test.desc‎ ‎…uantifiers-exists-both-enforce/test.desc‎regression/contracts/quantifiers-exists-both-01/test.desc renamed to regression/contracts/quantifiers-exists-both-enforce/test.desc b/‎…cts/quantifiers-exists-both-01/test.desc‎ ‎…uantifiers-exists-both-enforce/test.desc‎regression/contracts/quantifiers-exists-both-01/test.desc renamed to regression/contracts/quantifiers-exists-both-enforce/test.desc
diff --git a/‎…tracts/quantifiers-exists-both-02/main.c‎ ‎…s/quantifiers-exists-both-replace/main.c‎regression/contracts/quantifiers-exists-both-02/main.c renamed to regression/contracts/quantifiers-exists-both-replace/main.c b/‎…tracts/quantifiers-exists-both-02/main.c‎ ‎…s/quantifiers-exists-both-replace/main.c‎regression/contracts/quantifiers-exists-both-02/main.c renamed to regression/contracts/quantifiers-exists-both-replace/main.c
diff --git a/‎…cts/quantifiers-exists-both-02/test.desc‎ ‎…uantifiers-exists-both-replace/test.desc‎regression/contracts/quantifiers-exists-both-02/test.desc renamed to regression/contracts/quantifiers-exists-both-replace/test.desc b/‎…cts/quantifiers-exists-both-02/test.desc‎ ‎…uantifiers-exists-both-replace/test.desc‎regression/contracts/quantifiers-exists-both-02/test.desc renamed to regression/contracts/quantifiers-exists-both-replace/test.desc
diff --git a/‎…cts/quantifiers-exists-ensures-01/main.c‎ ‎…uantifiers-exists-ensures-enforce/main.c‎regression/contracts/quantifiers-exists-ensures-01/main.c renamed to regression/contracts/quantifiers-exists-ensures-enforce/main.c b/‎…cts/quantifiers-exists-ensures-01/main.c‎ ‎…uantifiers-exists-ensures-enforce/main.c‎regression/contracts/quantifiers-exists-ensures-01/main.c renamed to regression/contracts/quantifiers-exists-ensures-enforce/main.c
diff --git a/‎…/quantifiers-exists-ensures-01/test.desc‎ ‎…tifiers-exists-ensures-enforce/test.desc‎regression/contracts/quantifiers-exists-ensures-01/test.desc renamed to regression/contracts/quantifiers-exists-ensures-enforce/test.desc b/‎…/quantifiers-exists-ensures-01/test.desc‎ ‎…tifiers-exists-ensures-enforce/test.desc‎regression/contracts/quantifiers-exists-ensures-01/test.desc renamed to regression/contracts/quantifiers-exists-ensures-enforce/test.desc
diff --git a/‎…cts/quantifiers-exists-ensures-02/main.c‎ ‎…uantifiers-exists-ensures-replace/main.c‎regression/contracts/quantifiers-exists-ensures-02/main.c renamed to regression/contracts/quantifiers-exists-ensures-replace/main.c b/‎…cts/quantifiers-exists-ensures-02/main.c‎ ‎…uantifiers-exists-ensures-replace/main.c‎regression/contracts/quantifiers-exists-ensures-02/main.c renamed to regression/contracts/quantifiers-exists-ensures-replace/main.c
diff --git a/‎…/quantifiers-exists-ensures-02/test.desc‎ ‎…tifiers-exists-ensures-replace/test.desc‎regression/contracts/quantifiers-exists-ensures-02/test.desc renamed to regression/contracts/quantifiers-exists-ensures-replace/test.desc b/‎…/quantifiers-exists-ensures-02/test.desc‎ ‎…tifiers-exists-ensures-replace/test.desc‎regression/contracts/quantifiers-exists-ensures-02/test.desc renamed to regression/contracts/quantifiers-exists-ensures-replace/test.desc
diff --git a/‎…ts/quantifiers-exists-requires-01/main.c‎ ‎…antifiers-exists-requires-enforce/main.c‎regression/contracts/quantifiers-exists-requires-01/main.c renamed to regression/contracts/quantifiers-exists-requires-enforce/main.c b/‎…ts/quantifiers-exists-requires-01/main.c‎ ‎…antifiers-exists-requires-enforce/main.c‎regression/contracts/quantifiers-exists-requires-01/main.c renamed to regression/contracts/quantifiers-exists-requires-enforce/main.c
diff --git a/‎…quantifiers-exists-requires-01/test.desc‎ ‎…ifiers-exists-requires-enforce/test.desc‎regression/contracts/quantifiers-exists-requires-01/test.desc renamed to regression/contracts/quantifiers-exists-requires-enforce/test.desc b/‎…quantifiers-exists-requires-01/test.desc‎ ‎…ifiers-exists-requires-enforce/test.desc‎regression/contracts/quantifiers-exists-requires-01/test.desc renamed to regression/contracts/quantifiers-exists-requires-enforce/test.desc