Commit 7255c3dd authored by David Bühler's avatar David Bühler Committed by Andre Maroneze
Browse files

[kernel] Fixes the bug reporting messages: uses gitlab instead of the old bts.

parent 2ffe4871
......@@ -125,10 +125,12 @@ struct
let edge_invariant src dst = function
| Inter_functions ->
if not (Vertex.equal src.root dst.root || dst.is_root) then
Kernel.failure
Kernel.failure
"Correctness bug when computing services.\n\
PLEASE REPORT AS MAJOR BUG on http://bts.frama-c.com with the following info.\n\
Src:%s in %s (is_root:%b) Dst:%s in %s (is_root:%b)"
PLEASE REPORT AS MAJOR BUG on \
https://git.frama-c.com/pub/frama-c/issues \
with the following info.\n\
Src:%s in %s (is_root:%b) Dst:%s in %s (is_root:%b)"
(G.V.name src.node)
(G.V.name src.root.node)
src.is_root
......@@ -137,10 +139,12 @@ Src:%s in %s (is_root:%b) Dst:%s in %s (is_root:%b)"
dst.is_root
| Inter_services | Both ->
if not (src.is_root && dst.is_root) then
Kernel.failure
Kernel.failure
"Correctness bug when computing services.\n\
PLEASE REPORT AS MAJOR BUG on http://bts.frama-c.com with the following info.\n\
Src root:%s in %s (is_root:%b) Dst:%s in %s (is_root:%b) [2d case]"
PLEASE REPORT AS MAJOR BUG on \
https://git.frama-c.com/pub/frama-c/issues \
with the following info.\n\
Src root:%s in %s (is_root:%b) Dst:%s in %s (is_root:%b) [2d case]"
(G.V.name src.node)
(G.V.name src.root.node)
src.is_root
......
......@@ -106,11 +106,11 @@ let get_backtrace () =
let request_crash_report =
Format.sprintf
"Please report as 'crash' at http://bts.frama-c.com/.\n\
"Please report as 'crash' at https://git.frama-c.com/pub/frama-c/issues.\n\
Your Frama-C version is %s.\n\
Note that a version and a backtrace alone often do not contain enough\n\
information to understand the bug. Guidelines for reporting bugs are at:\n\
http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelines\n"
https://git.frama-c.com/pub/frama-c/-/wikis/Guidelines-for-reporting-bugs\n"
Fc_config.version_and_codename
let protect = function
......@@ -139,7 +139,8 @@ let protect = function
let name = long_plugin_name p in
Printf.sprintf
"%s aborted: unimplemented feature.%s\n\
You may send a feature request at http://bts.frama-c.com with:\n\
You may send a feature request at \
https://git.frama-c.com/pub/frama-c/issues with:\n\
'[%s] %s'."
name (additional_info ()) name m
| e ->
......
[variadic] tests/erroneous/variadic-builtin.i:1:
Variadic builtin Frama_C_show_each_warning left untransformed.
[kernel] Plug-in variadic aborted: unimplemented feature.
You may send a feature request at http://bts.frama-c.com with:
You may send a feature request at https://git.frama-c.com/pub/frama-c/issues with:
'[Plug-in variadic] The variadic plugin doesn't handle calls to a pointer to the variadic builtin Frama_C_show_each_warning.'.
......@@ -8,8 +8,8 @@
The full backtrace is:
Plug-in test aborted: internal error.
Please report as 'crash' at http://bts.frama-c.com/.
Please report as 'crash' at https://git.frama-c.com/pub/frama-c/issues.
Your Frama-C version is VERSION
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
https://git.frama-c.com/pub/frama-c/-/wikis/Guidelines-for-reporting-bugs
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment