diff --git a/Changelog b/Changelog index 141ced448ff11999cd6e3c9571ffaa1b38f307ea..d97c6803349ab92c574e12009d63afb771bb8aa3 100644 --- a/Changelog +++ b/Changelog @@ -13,6 +13,11 @@ # '#?nnn' : OLD-BTS entry #nnn # ############################################################################### +################################## +Open Source Release <next-release> +################################## + + ################################ Open Source Release 18.0 (Argon) ################################ diff --git a/VERSION b/VERSION index fc004cb52c7a3c23ed19e8b19149b832f492ca2b..3a48ff126f4f03ea3b2eb133fb1b2de6bb40e772 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -18.0 \ No newline at end of file +18.0+dev \ No newline at end of file diff --git a/tests/misc/oracle/debug_category.16.res.oracle b/tests/misc/oracle/debug_category.16.res.oracle index 708cc59e04fa55dc3bb39458bb840dd6f145359b..75e2529443bacd2087a9202069d4eee278b6f201 100644 --- a/tests/misc/oracle/debug_category.16.res.oracle +++ b/tests/misc/oracle/debug_category.16.res.oracle @@ -9,7 +9,7 @@ Plug-in test aborted: internal error. Please report as 'crash' at http://bts.frama-c.com/. - Your Frama-C version is 18.0 (Argon). + Your Frama-C version is 18.0+dev (Argon). Note that a version and a backtrace alone often do not contain enough information to understand the bug. Guidelines for reporting bugs are at: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelines diff --git a/tests/misc/oracle/log-file.1.res.oracle b/tests/misc/oracle/log-file.1.res.oracle index f80564b48f8e005f479cfa2ebb10007902b71e17..a7ef0e3d8b8280aa5101209cf259ce5b9cc16375 100644 --- a/tests/misc/oracle/log-file.1.res.oracle +++ b/tests/misc/oracle/log-file.1.res.oracle @@ -14,7 +14,7 @@ Frama-C aborted: internal error. Please report as 'crash' at http://bts.frama-c.com/. - Your Frama-C version is 18.0 (Argon). + Your Frama-C version is 18.0+dev (Argon). Note that a version and a backtrace alone often do not contain enough information to understand the bug. Guidelines for reporting bugs are at: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelines diff --git a/tests/misc/oracle/plugin-log-all.txt b/tests/misc/oracle/plugin-log-all.txt index 1a773b13cb6c253a07b1204bddef249e3ba04f0e..2483f6ebcc8f221037ad68a82185c2ff62960064 100644 --- a/tests/misc/oracle/plugin-log-all.txt +++ b/tests/misc/oracle/plugin-log-all.txt @@ -14,7 +14,7 @@ The full backtrace is: Frama-C aborted: internal error. Please report as 'crash' at http://bts.frama-c.com/. -Your Frama-C version is 18.0 (Argon). +Your Frama-C version is 18.0+dev (Argon). Note that a version and a backtrace alone often do not contain enough information to understand the bug. Guidelines for reporting bugs are at: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelines