diff --git a/nix/yojson.nix b/nix/yojson.nix
index 03b01c43776684f76a7f30e09b3618765cf69cc8..1f3c8fdcfb357d707cb604849a8d801830a221ff 100644
--- a/nix/yojson.nix
+++ b/nix/yojson.nix
@@ -1,17 +1,17 @@
-{ lib, fetchurl, buildDunePackage, cppo, easy-format, biniou }:
+{ lib, fetchurl, buildDunePackage, cppo, seq }:
buildDunePackage rec {
pname = "yojson";
- version = "1.7.0";
+ version = "2.0.2";
useDune2 = true;
src = fetchurl {
url = "https://github.com/ocaml-community/yojson/releases/download/${version}/yojson-${version}.tbz";
- sha256 = "1iich6323npvvs8r50lkr4pxxqm9mf6w67cnid7jg1j1g5gwcvv5";
+ sha256 = "sha256-h2u284r3OoSilDij2jXkhXxgoUVWpgZSWxSMb9vlRhs=";
};
nativeBuildInputs = [ cppo ];
- propagatedBuildInputs = [ easy-format biniou ];
+ propagatedBuildInputs = [ seq ];
meta = with lib; {
description = "An optimized parsing and printing library for the JSON format";
diff --git a/opam b/opam
index 11c84d7213e597d6adba571ca92991676a1bb1b2..1f4afda6abd549c55b5d98d1269e7f84156b7c50 100644
--- a/opam
+++ b/opam
@@ -121,7 +121,7 @@ depends: [
"ocamlfind" # needed beyond build stage, used by -load-module
"ocamlgraph" { >= "1.8.8" }
"why3" { >= "1.5.1" }
- "yojson" {>= "1.6.0" & (< "2.0.0" | !with-test)}
+ "yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
"zarith" { >= "1.5" }
# PPXs
diff --git a/reference-configuration.md b/reference-configuration.md
index 8c29d361c31f412719a1e0ae853cab9f53a2bf29..e7c6cc20e418e76a9b8328ce73a69307c3b337ff 100644
--- a/reference-configuration.md
+++ b/reference-configuration.md
@@ -14,5 +14,5 @@ compiling Frama-C+dev.
- ppx_deriving_yojson.3.7.0
- ppx_import.1.10.0
- why3.1.5.1
-- yojson.1.7.0
+- yojson.2.0.2
- zarith.1.12
diff --git a/src/plugins/markdown-report/tests/sarif/oracle/cwe125.sarif b/src/plugins/markdown-report/tests/sarif/oracle/cwe125.sarif
index bae3ec58849f73f5b4e457c8dc4c44d4a7da501a..32551cccddc357bd1d4002062278315ccb7306d1 100644
--- a/src/plugins/markdown-report/tests/sarif/oracle/cwe125.sarif
+++ b/src/plugins/markdown-report/tests/sarif/oracle/cwe125.sarif
@@ -1,6 +1,5 @@
{
- "$schema":
- "https://raw.githubusercontent.com/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json",
+ "$schema": "https://raw.githubusercontent.com/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json",
"version": "2.1.0",
"runs": [
{
@@ -15,8 +14,7 @@
},
"invocations": [
{
- "commandLine":
- "frama-c -check -no-autoload-plugins -add-symbolic-path=PTEST_SESSION:. -load-plugin=eva,from,scope,inout,markdown-report cwe125.c -save ./cwe125_parse.sav",
+ "commandLine": "frama-c -check -no-autoload-plugins -add-symbolic-path=PTEST_SESSION:. -load-plugin=eva,from,scope,inout,markdown-report cwe125.c -save ./cwe125_parse.sav",
"arguments": [
"-check", "-no-autoload-plugins",
"-add-symbolic-path=PTEST_SESSION:.",
@@ -27,8 +25,7 @@
"executionSuccessful": true
},
{
- "commandLine":
- "frama-c -check -no-autoload-plugins -add-symbolic-path=PTEST_SESSION:. -load-plugin=eva,from,scope,inout,markdown-report -load ./cwe125_parse.sav -eva -save ./cwe125_eva.sav",
+ "commandLine": "frama-c -check -no-autoload-plugins -add-symbolic-path=PTEST_SESSION:. -load-plugin=eva,from,scope,inout,markdown-report -load ./cwe125_parse.sav -eva -save ./cwe125_eva.sav",
"arguments": [
"-check", "-no-autoload-plugins",
"-add-symbolic-path=PTEST_SESSION:.",
@@ -39,8 +36,7 @@
"executionSuccessful": true
},
{
- "commandLine":
- "frama-c -check -no-autoload-plugins -add-symbolic-path=PTEST_SESSION:. -load-plugin=eva,from,scope,inout,markdown-report -load ./cwe125_eva.sav -then -mdr-out ./cwe125.sarif.unfiltered -mdr-gen sarif -mdr-no-print-libc -mdr-sarif-deterministic",
+ "commandLine": "frama-c -check -no-autoload-plugins -add-symbolic-path=PTEST_SESSION:. -load-plugin=eva,from,scope,inout,markdown-report -load ./cwe125_eva.sav -then -mdr-out ./cwe125.sarif.unfiltered -mdr-gen sarif -mdr-no-print-libc -mdr-sarif-deterministic",
"arguments": [
"-check", "-no-autoload-plugins",
"-add-symbolic-path=PTEST_SESSION:.",
@@ -71,8 +67,7 @@
"level": "none",
"message": {
"text": "mem_access.",
- "markdown":
- "mem_access:\n\n```acsl\nassert mem_access: \\valid_read(array + index);\n```\n\n\n\nThis alarm represents a potential Invalid pointer dereferencing."
+ "markdown": "mem_access:\n\n```acsl\nassert mem_access: \\valid_read(array + index);\n```\n\n\n\nThis alarm represents a potential Invalid pointer dereferencing."
},
"locations": [
{
@@ -94,8 +89,7 @@
"level": "error",
"message": {
"text": "mem_access.",
- "markdown":
- "mem_access:\n\n```acsl\nassert mem_access: \\valid_read(array + index);\n```\n\n\n\nThis alarm represents a potential Invalid pointer dereferencing."
+ "markdown": "mem_access:\n\n```acsl\nassert mem_access: \\valid_read(array + index);\n```\n\n\n\nThis alarm represents a potential Invalid pointer dereferencing."
},
"locations": [
{
diff --git a/src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif b/src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif
index 974b7a37e8fca83ef3f808540f6c5acec657b73b..8df66b349d84643bc8b6e4ba28cf9e3d3517eee6 100644
--- a/src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif
+++ b/src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif
@@ -1,6 +1,5 @@
{
- "$schema":
- "https://raw.githubusercontent.com/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json",
+ "$schema": "https://raw.githubusercontent.com/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json",
"version": "2.1.0",
"runs": [
{
@@ -15,8 +14,7 @@
},
"invocations": [
{
- "commandLine":
- "frama-c -check -no-autoload-plugins -add-symbolic-path=PTEST_SESSION:. -load-plugin=eva,from,scope,inout,markdown-report std_string.c -eva -then -mdr-sarif-deterministic -mdr-gen sarif -mdr-out ./std_string.sarif.unfiltered",
+ "commandLine": "frama-c -check -no-autoload-plugins -add-symbolic-path=PTEST_SESSION:. -load-plugin=eva,from,scope,inout,markdown-report std_string.c -eva -then -mdr-sarif-deterministic -mdr-gen sarif -mdr-out ./std_string.sarif.unfiltered",
"arguments": [
"-check", "-no-autoload-plugins",
"-add-symbolic-path=PTEST_SESSION:.",
@@ -1243,8 +1241,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "behavior default! in function Frama_C_abstract_cardinal."
+ "text": "behavior default! in function Frama_C_abstract_cardinal."
},
"locations": [
{
@@ -1294,8 +1291,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_abstract_cardinal."
+ "text": "from clause of term \\result in function Frama_C_abstract_cardinal."
},
"locations": [
{
@@ -1370,8 +1366,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_abstract_max."
+ "text": "from clause of term \\result in function Frama_C_abstract_max."
},
"locations": [
{
@@ -1446,8 +1441,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_abstract_min."
+ "text": "from clause of term \\result in function Frama_C_abstract_min."
},
"locations": [
{
@@ -1568,8 +1562,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_char_interval."
+ "text": "from clause of term \\result in function Frama_C_char_interval."
},
"locations": [
{
@@ -1594,8 +1587,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_char_interval."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_char_interval."
},
"locations": [
{
@@ -1739,8 +1731,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_double_interval."
+ "text": "from clause of term \\result in function Frama_C_double_interval."
},
"locations": [
{
@@ -1765,8 +1756,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_double_interval."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_double_interval."
},
"locations": [
{
@@ -1910,8 +1900,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_float_interval."
+ "text": "from clause of term \\result in function Frama_C_float_interval."
},
"locations": [
{
@@ -1936,8 +1925,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_float_interval."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_float_interval."
},
"locations": [
{
@@ -2058,8 +2046,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_int_interval."
+ "text": "from clause of term \\result in function Frama_C_int_interval."
},
"locations": [
{
@@ -2084,8 +2071,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_int_interval."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_int_interval."
},
"locations": [
{
@@ -2206,8 +2192,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_interval."
+ "text": "from clause of term \\result in function Frama_C_interval."
},
"locations": [
{
@@ -2232,8 +2217,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_interval."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_interval."
},
"locations": [
{
@@ -2354,8 +2338,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_interval_split."
+ "text": "from clause of term \\result in function Frama_C_interval_split."
},
"locations": [
{
@@ -2380,8 +2363,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_interval_split."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_interval_split."
},
"locations": [
{
@@ -2502,8 +2484,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_long_interval."
+ "text": "from clause of term \\result in function Frama_C_long_interval."
},
"locations": [
{
@@ -2528,8 +2509,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_long_interval."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_long_interval."
},
"locations": [
{
@@ -2554,8 +2534,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "behavior default! in function Frama_C_long_long_interval."
+ "text": "behavior default! in function Frama_C_long_long_interval."
},
"locations": [
{
@@ -2651,8 +2630,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_long_long_interval."
+ "text": "from clause of term \\result in function Frama_C_long_long_interval."
},
"locations": [
{
@@ -2677,8 +2655,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_long_long_interval."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_long_long_interval."
},
"locations": [
{
@@ -2799,8 +2776,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(p + (0 .. l - 1)) in function Frama_C_make_unknown."
+ "text": "from clause of term *(p + (0 .. l - 1)) in function Frama_C_make_unknown."
},
"locations": [
{
@@ -2825,8 +2801,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_make_unknown."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_make_unknown."
},
"locations": [
{
@@ -2922,8 +2897,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_nondet."
+ "text": "from clause of term \\result in function Frama_C_nondet."
},
"locations": [
{
@@ -2948,8 +2922,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_nondet."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_nondet."
},
"locations": [
{
@@ -3047,8 +3020,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_nondet_ptr."
+ "text": "from clause of term \\result in function Frama_C_nondet_ptr."
},
"locations": [
{
@@ -3073,8 +3045,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_nondet_ptr."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_nondet_ptr."
},
"locations": [
{
@@ -3147,8 +3118,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_offset."
+ "text": "from clause of term \\result in function Frama_C_offset."
},
"locations": [
{
@@ -3173,8 +3143,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "behavior default! in function Frama_C_real_interval_as_double."
+ "text": "behavior default! in function Frama_C_real_interval_as_double."
},
"locations": [
{
@@ -3268,8 +3237,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "assigns clause in function Frama_C_real_interval_as_double."
+ "text": "assigns clause in function Frama_C_real_interval_as_double."
},
"locations": [
{
@@ -3294,8 +3262,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_real_interval_as_double."
+ "text": "from clause of term \\result in function Frama_C_real_interval_as_double."
},
"locations": [
{
@@ -3320,8 +3287,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_real_interval_as_double."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_real_interval_as_double."
},
"locations": [
{
@@ -3442,8 +3408,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_short_interval."
+ "text": "from clause of term \\result in function Frama_C_short_interval."
},
"locations": [
{
@@ -3468,8 +3433,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_short_interval."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_short_interval."
},
"locations": [
{
@@ -3590,8 +3554,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_size_t_interval."
+ "text": "from clause of term \\result in function Frama_C_size_t_interval."
},
"locations": [
{
@@ -3616,8 +3579,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_size_t_interval."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_size_t_interval."
},
"locations": [
{
@@ -3642,8 +3604,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "behavior default! in function Frama_C_unsigned_char_interval."
+ "text": "behavior default! in function Frama_C_unsigned_char_interval."
},
"locations": [
{
@@ -3714,8 +3675,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "assigns clause in function Frama_C_unsigned_char_interval."
+ "text": "assigns clause in function Frama_C_unsigned_char_interval."
},
"locations": [
{
@@ -3740,8 +3700,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_unsigned_char_interval."
+ "text": "from clause of term \\result in function Frama_C_unsigned_char_interval."
},
"locations": [
{
@@ -3766,8 +3725,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_unsigned_char_interval."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_unsigned_char_interval."
},
"locations": [
{
@@ -3792,8 +3750,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "behavior default! in function Frama_C_unsigned_int_interval."
+ "text": "behavior default! in function Frama_C_unsigned_int_interval."
},
"locations": [
{
@@ -3864,8 +3821,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "assigns clause in function Frama_C_unsigned_int_interval."
+ "text": "assigns clause in function Frama_C_unsigned_int_interval."
},
"locations": [
{
@@ -3890,8 +3846,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_unsigned_int_interval."
+ "text": "from clause of term \\result in function Frama_C_unsigned_int_interval."
},
"locations": [
{
@@ -3916,8 +3871,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_unsigned_int_interval."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_unsigned_int_interval."
},
"locations": [
{
@@ -3942,8 +3896,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "behavior default! in function Frama_C_unsigned_long_interval."
+ "text": "behavior default! in function Frama_C_unsigned_long_interval."
},
"locations": [
{
@@ -4014,8 +3967,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "assigns clause in function Frama_C_unsigned_long_interval."
+ "text": "assigns clause in function Frama_C_unsigned_long_interval."
},
"locations": [
{
@@ -4040,8 +3992,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_unsigned_long_interval."
+ "text": "from clause of term \\result in function Frama_C_unsigned_long_interval."
},
"locations": [
{
@@ -4066,8 +4017,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_unsigned_long_interval."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_unsigned_long_interval."
},
"locations": [
{
@@ -4092,8 +4042,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "behavior default! in function Frama_C_unsigned_long_long_interval."
+ "text": "behavior default! in function Frama_C_unsigned_long_long_interval."
},
"locations": [
{
@@ -4164,8 +4113,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "assigns clause in function Frama_C_unsigned_long_long_interval."
+ "text": "assigns clause in function Frama_C_unsigned_long_long_interval."
},
"locations": [
{
@@ -4190,8 +4138,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_unsigned_long_long_interval."
+ "text": "from clause of term \\result in function Frama_C_unsigned_long_long_interval."
},
"locations": [
{
@@ -4216,8 +4163,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_unsigned_long_long_interval."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_unsigned_long_long_interval."
},
"locations": [
{
@@ -4242,8 +4188,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "behavior default! in function Frama_C_unsigned_short_interval."
+ "text": "behavior default! in function Frama_C_unsigned_short_interval."
},
"locations": [
{
@@ -4314,8 +4259,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "assigns clause in function Frama_C_unsigned_short_interval."
+ "text": "assigns clause in function Frama_C_unsigned_short_interval."
},
"locations": [
{
@@ -4340,8 +4284,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function Frama_C_unsigned_short_interval."
+ "text": "from clause of term \\result in function Frama_C_unsigned_short_interval."
},
"locations": [
{
@@ -4366,8 +4309,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term Frama_C_entropy_source in function Frama_C_unsigned_short_interval."
+ "text": "from clause of term Frama_C_entropy_source in function Frama_C_unsigned_short_interval."
},
"locations": [
{
@@ -5708,8 +5650,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *((char *)s + (0 .. n - 1)) in function bzero."
+ "text": "from clause of term *((char *)s + (0 .. n - 1)) in function bzero."
},
"locations": [
{
@@ -5987,8 +5928,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_heap_status in function calloc."
+ "text": "from clause of term __fc_heap_status in function calloc."
},
"locations": [
{
@@ -6318,8 +6258,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random48_counter[0 .. 2] in function drand48."
+ "text": "from clause of term __fc_random48_counter[0 .. 2] in function drand48."
},
"locations": [
{
@@ -6461,8 +6400,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random48_counter[0 .. 2] in function erand48."
+ "text": "from clause of term __fc_random48_counter[0 .. 2] in function erand48."
},
"locations": [
{
@@ -7210,8 +7148,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random48_counter[0 .. 2] in function jrand48."
+ "text": "from clause of term __fc_random48_counter[0 .. 2] in function jrand48."
},
"locations": [
{
@@ -7608,8 +7545,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random48_counter[0 .. 2] in function lcong48."
+ "text": "from clause of term __fc_random48_counter[0 .. 2] in function lcong48."
},
"locations": [
{
@@ -7634,8 +7570,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random48_init in function lcong48."
+ "text": "from clause of term __fc_random48_init in function lcong48."
},
"locations": [
{
@@ -8172,8 +8107,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random48_counter[0 .. 2] in function lrand48."
+ "text": "from clause of term __fc_random48_counter[0 .. 2] in function lrand48."
},
"locations": [
{
@@ -8453,8 +8387,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_heap_status in function malloc."
+ "text": "from clause of term __fc_heap_status in function malloc."
},
"locations": [
{
@@ -8504,8 +8437,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_heap_status in function malloc."
+ "text": "from clause of term __fc_heap_status in function malloc."
},
"locations": [
{
@@ -8862,8 +8794,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(pwcs + (0 .. n - 1)) in function mbstowcs."
+ "text": "from clause of term *(pwcs + (0 .. n - 1)) in function mbstowcs."
},
"locations": [
{
@@ -9005,8 +8936,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(pwc + (0 .. \\result - 1)) in function mbtowc."
+ "text": "from clause of term *(pwc + (0 .. \\result - 1)) in function mbtowc."
},
"locations": [
{
@@ -9031,8 +8961,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_mbtowc_state in function mbtowc."
+ "text": "from clause of term __fc_mbtowc_state in function mbtowc."
},
"locations": [
{
@@ -9774,8 +9703,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *((char *)dest + (0 .. n - 1)) in function memcpy."
+ "text": "from clause of term *((char *)dest + (0 .. n - 1)) in function memcpy."
},
"locations": [
{
@@ -10101,8 +10029,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *((char *)dest + (0 .. n - 1)) in function memmove."
+ "text": "from clause of term *((char *)dest + (0 .. n - 1)) in function memmove."
},
"locations": [
{
@@ -11013,8 +10940,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *((char *)dest + (0 .. n - 1)) in function mempcpy."
+ "text": "from clause of term *((char *)dest + (0 .. n - 1)) in function mempcpy."
},
"locations": [
{
@@ -11317,8 +11243,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *((char *)s + (0 .. n - 1)) in function memset."
+ "text": "from clause of term *((char *)s + (0 .. n - 1)) in function memset."
},
"locations": [
{
@@ -11483,8 +11408,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(templat + (0 ..)) in function mkstemp."
+ "text": "from clause of term *(templat + (0 ..)) in function mkstemp."
},
"locations": [
{
@@ -11672,8 +11596,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(templat + (0 ..)) in function mkstemps."
+ "text": "from clause of term *(templat + (0 ..)) in function mkstemps."
},
"locations": [
{
@@ -11815,8 +11738,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random48_counter[0 .. 2] in function mrand48."
+ "text": "from clause of term __fc_random48_counter[0 .. 2] in function mrand48."
},
"locations": [
{
@@ -11958,8 +11880,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random48_counter[0 .. 2] in function nrand48."
+ "text": "from clause of term __fc_random48_counter[0 .. 2] in function nrand48."
},
"locations": [
{
@@ -12314,8 +12235,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_heap_status in function posix_memalign."
+ "text": "from clause of term __fc_heap_status in function posix_memalign."
},
"locations": [
{
@@ -12340,8 +12260,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function posix_memalign."
+ "text": "from clause of term \\result in function posix_memalign."
},
"locations": [
{
@@ -12366,8 +12285,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_heap_status in function posix_memalign."
+ "text": "from clause of term __fc_heap_status in function posix_memalign."
},
"locations": [
{
@@ -12392,8 +12310,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function posix_memalign."
+ "text": "from clause of term \\result in function posix_memalign."
},
"locations": [
{
@@ -12418,8 +12335,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term \\result in function posix_memalign."
+ "text": "from clause of term \\result in function posix_memalign."
},
"locations": [
{
@@ -12732,8 +12648,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *((char *)base + (0 ..)) in function qsort."
+ "text": "from clause of term *((char *)base + (0 ..)) in function qsort."
},
"locations": [
{
@@ -12921,8 +12836,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random_counter in function rand."
+ "text": "from clause of term __fc_random_counter in function rand."
},
"locations": [
{
@@ -13434,8 +13348,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_heap_status in function realloc."
+ "text": "from clause of term __fc_heap_status in function realloc."
},
"locations": [
{
@@ -14030,8 +13943,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_heap_status in function reallocarray."
+ "text": "from clause of term __fc_heap_status in function reallocarray."
},
"locations": [
{
@@ -14390,8 +14302,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random48_counter[0 .. 2] in function seed48."
+ "text": "from clause of term __fc_random48_counter[0 .. 2] in function seed48."
},
"locations": [
{
@@ -14416,8 +14327,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random48_init in function seed48."
+ "text": "from clause of term __fc_random48_init in function seed48."
},
"locations": [
{
@@ -14678,8 +14588,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random_counter in function srand."
+ "text": "from clause of term __fc_random_counter in function srand."
},
"locations": [
{
@@ -14773,8 +14682,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random48_counter[0 .. 2] in function srand48."
+ "text": "from clause of term __fc_random48_counter[0 .. 2] in function srand48."
},
"locations": [
{
@@ -14799,8 +14707,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random48_init in function srand48."
+ "text": "from clause of term __fc_random48_init in function srand48."
},
"locations": [
{
@@ -14871,8 +14778,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_random_counter in function srandom."
+ "text": "from clause of term __fc_random_counter in function srandom."
},
"locations": [
{
@@ -15058,8 +14964,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (0 .. strlen{Old}(src))) in function stpcpy."
+ "text": "from clause of term *(dest + (0 .. strlen{Old}(src))) in function stpcpy."
},
"locations": [
{
@@ -15573,8 +15478,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest +\n (strlen{Old}(dest) ..\n strlen{Old}(dest) +\n strlen{Old}(src))) in function strcat."
+ "text": "from clause of term *(dest +\n (strlen{Old}(dest) ..\n strlen{Old}(dest) +\n strlen{Old}(src))) in function strcat."
},
"locations": [
{
@@ -16577,8 +16481,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (0 .. strlen{Old}(src))) in function strcpy."
+ "text": "from clause of term *(dest + (0 .. strlen{Old}(src))) in function strcpy."
},
"locations": [
{
@@ -17044,8 +16947,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_heap_status in function strdup."
+ "text": "from clause of term __fc_heap_status in function strdup."
},
"locations": [
{
@@ -17655,8 +17557,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (strlen{Old}(dest) .. n)) in function strlcat."
+ "text": "from clause of term *(dest + (strlen{Old}(dest) .. n)) in function strlcat."
},
"locations": [
{
@@ -17867,8 +17768,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (0 .. n - 1)) in function strlcpy."
+ "text": "from clause of term *(dest + (0 .. n - 1)) in function strlcpy."
},
"locations": [
{
@@ -18497,8 +18397,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest +\n (strlen{Old}(dest) ..\n strlen{Old}(dest) +\n strlen{Old}(src))) in function strncat."
+ "text": "from clause of term *(dest +\n (strlen{Old}(dest) ..\n strlen{Old}(dest) +\n strlen{Old}(src))) in function strncat."
},
"locations": [
{
@@ -18548,8 +18447,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (strlen{Old}(dest) .. strlen{Old}(dest) + n)) in function strncat."
+ "text": "from clause of term *(dest + (strlen{Old}(dest) .. strlen{Old}(dest) + n)) in function strncat."
},
"locations": [
{
@@ -18599,8 +18497,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (strlen{Old}(dest) .. strlen{Old}(dest) + n)) in function strncat."
+ "text": "from clause of term *(dest + (strlen{Old}(dest) .. strlen{Old}(dest) + n)) in function strncat."
},
"locations": [
{
@@ -19137,8 +19034,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (0 .. n - 1)) in function strncpy."
+ "text": "from clause of term *(dest + (0 .. n - 1)) in function strncpy."
},
"locations": [
{
@@ -19468,8 +19364,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_heap_status in function strndup."
+ "text": "from clause of term __fc_heap_status in function strndup."
},
"locations": [
{
@@ -22335,8 +22230,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(__fc_strtok_ptr + (0 ..)) in function strtok."
+ "text": "from clause of term *(__fc_strtok_ptr + (0 ..)) in function strtok."
},
"locations": [
{
@@ -22486,8 +22380,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(__fc_strtok_ptr + (0 ..)) in function strtok."
+ "text": "from clause of term *(__fc_strtok_ptr + (0 ..)) in function strtok."
},
"locations": [
{
@@ -23047,8 +22940,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(*saveptr + (0 ..)) in function strtok_r."
+ "text": "from clause of term *(*saveptr + (0 ..)) in function strtok_r."
},
"locations": [
{
@@ -23198,8 +23090,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(*saveptr + (0 ..)) in function strtok_r."
+ "text": "from clause of term *(*saveptr + (0 ..)) in function strtok_r."
},
"locations": [
{
@@ -25979,8 +25870,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (0 .. n - 1)) in function strxfrm."
+ "text": "from clause of term *(dest + (0 .. n - 1)) in function strxfrm."
},
"locations": [
{
@@ -26241,8 +26131,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_env[0 ..] in function unsetenv."
+ "text": "from clause of term __fc_env[0 ..] in function unsetenv."
},
"locations": [
{
@@ -26361,8 +26250,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(s + (0 .. n - 1)) in function wcstombs."
+ "text": "from clause of term *(s + (0 .. n - 1)) in function wcstombs."
},
"locations": [
{
@@ -26483,8 +26371,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_wctomb_state in function wctomb."
+ "text": "from clause of term __fc_wctomb_state in function wctomb."
},
"locations": [
{
diff --git a/src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif b/src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif
index a09df2debac18b5015f52f9bddfc1ccec772ae20..98c607be9ecc415a6ff6afa97da9d855a3e3fb0c 100644
--- a/src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif
+++ b/src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif
@@ -1,6 +1,5 @@
{
- "$schema":
- "https://raw.githubusercontent.com/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json",
+ "$schema": "https://raw.githubusercontent.com/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json",
"version": "2.1.0",
"runs": [
{
@@ -15,8 +14,7 @@
},
"invocations": [
{
- "commandLine":
- "frama-c -check -no-autoload-plugins -add-symbolic-path=PTEST_SESSION:. -load-plugin=eva,from,scope,inout,markdown-report -eva -eva-no-results -mdr-gen sarif -mdr-sarif-deterministic libc.c -mdr-out ./with-libc.sarif.unfiltered",
+ "commandLine": "frama-c -check -no-autoload-plugins -add-symbolic-path=PTEST_SESSION:. -load-plugin=eva,from,scope,inout,markdown-report -eva -eva-no-results -mdr-gen sarif -mdr-sarif-deterministic libc.c -mdr-out ./with-libc.sarif.unfiltered",
"arguments": [
"-check", "-no-autoload-plugins",
"-add-symbolic-path=PTEST_SESSION:.",
@@ -1265,8 +1263,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *((char *)s + (0 .. n - 1)) in function bzero."
+ "text": "from clause of term *((char *)s + (0 .. n - 1)) in function bzero."
},
"locations": [
{
@@ -2030,8 +2027,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *((char *)dest + (0 .. n - 1)) in function memcpy."
+ "text": "from clause of term *((char *)dest + (0 .. n - 1)) in function memcpy."
},
"locations": [
{
@@ -2219,8 +2215,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *((char *)dest + (0 .. n - 1)) in function memmove."
+ "text": "from clause of term *((char *)dest + (0 .. n - 1)) in function memmove."
},
"locations": [
{
@@ -2431,8 +2426,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *((char *)dest + (0 .. n - 1)) in function mempcpy."
+ "text": "from clause of term *((char *)dest + (0 .. n - 1)) in function mempcpy."
},
"locations": [
{
@@ -2597,8 +2591,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *((char *)s + (0 .. n - 1)) in function memset."
+ "text": "from clause of term *((char *)s + (0 .. n - 1)) in function memset."
},
"locations": [
{
@@ -2809,8 +2802,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (0 .. strlen{Old}(src))) in function stpcpy."
+ "text": "from clause of term *(dest + (0 .. strlen{Old}(src))) in function stpcpy."
},
"locations": [
{
@@ -3324,8 +3316,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest +\n (strlen{Old}(dest) ..\n strlen{Old}(dest) +\n strlen{Old}(src))) in function strcat."
+ "text": "from clause of term *(dest +\n (strlen{Old}(dest) ..\n strlen{Old}(dest) +\n strlen{Old}(src))) in function strcat."
},
"locations": [
{
@@ -4280,8 +4271,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (0 .. strlen{Old}(src))) in function strcpy."
+ "text": "from clause of term *(dest + (0 .. strlen{Old}(src))) in function strcpy."
},
"locations": [
{
@@ -4747,8 +4737,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_heap_status in function strdup."
+ "text": "from clause of term __fc_heap_status in function strdup."
},
"locations": [
{
@@ -5172,8 +5161,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (strlen{Old}(dest) .. n)) in function strlcat."
+ "text": "from clause of term *(dest + (strlen{Old}(dest) .. n)) in function strlcat."
},
"locations": [
{
@@ -5384,8 +5372,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (0 .. n - 1)) in function strlcpy."
+ "text": "from clause of term *(dest + (0 .. n - 1)) in function strlcpy."
},
"locations": [
{
@@ -6014,8 +6001,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest +\n (strlen{Old}(dest) ..\n strlen{Old}(dest) +\n strlen{Old}(src))) in function strncat."
+ "text": "from clause of term *(dest +\n (strlen{Old}(dest) ..\n strlen{Old}(dest) +\n strlen{Old}(src))) in function strncat."
},
"locations": [
{
@@ -6065,8 +6051,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (strlen{Old}(dest) .. strlen{Old}(dest) + n)) in function strncat."
+ "text": "from clause of term *(dest + (strlen{Old}(dest) .. strlen{Old}(dest) + n)) in function strncat."
},
"locations": [
{
@@ -6116,8 +6101,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (strlen{Old}(dest) .. strlen{Old}(dest) + n)) in function strncat."
+ "text": "from clause of term *(dest + (strlen{Old}(dest) .. strlen{Old}(dest) + n)) in function strncat."
},
"locations": [
{
@@ -6606,8 +6590,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (0 .. n - 1)) in function strncpy."
+ "text": "from clause of term *(dest + (0 .. n - 1)) in function strncpy."
},
"locations": [
{
@@ -6937,8 +6920,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term __fc_heap_status in function strndup."
+ "text": "from clause of term __fc_heap_status in function strndup."
},
"locations": [
{
@@ -8626,8 +8608,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(__fc_strtok_ptr + (0 ..)) in function strtok."
+ "text": "from clause of term *(__fc_strtok_ptr + (0 ..)) in function strtok."
},
"locations": [
{
@@ -8777,8 +8758,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(__fc_strtok_ptr + (0 ..)) in function strtok."
+ "text": "from clause of term *(__fc_strtok_ptr + (0 ..)) in function strtok."
},
"locations": [
{
@@ -9338,8 +9318,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(*saveptr + (0 ..)) in function strtok_r."
+ "text": "from clause of term *(*saveptr + (0 ..)) in function strtok_r."
},
"locations": [
{
@@ -9489,8 +9468,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(*saveptr + (0 ..)) in function strtok_r."
+ "text": "from clause of term *(*saveptr + (0 ..)) in function strtok_r."
},
"locations": [
{
@@ -9703,8 +9681,7 @@
"kind": "pass",
"level": "none",
"message": {
- "text":
- "from clause of term *(dest + (0 .. n - 1)) in function strxfrm."
+ "text": "from clause of term *(dest + (0 .. n - 1)) in function strxfrm."
},
"locations": [
{
diff --git a/src/plugins/markdown-report/tests/sarif/oracle/without-libc.sarif b/src/plugins/markdown-report/tests/sarif/oracle/without-libc.sarif
index a5dd4fbc506da45f44ac1826f94f8f72c4b3f073..826e579681a6ccc20a54085501d1ea137472cf9a 100644
--- a/src/plugins/markdown-report/tests/sarif/oracle/without-libc.sarif
+++ b/src/plugins/markdown-report/tests/sarif/oracle/without-libc.sarif
@@ -1,6 +1,5 @@
{
- "$schema":
- "https://raw.githubusercontent.com/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json",
+ "$schema": "https://raw.githubusercontent.com/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json",
"version": "2.1.0",
"runs": [
{
@@ -15,8 +14,7 @@
},
"invocations": [
{
- "commandLine":
- "frama-c -check -no-autoload-plugins -add-symbolic-path=PTEST_SESSION:. -load-plugin=eva,from,scope,inout,markdown-report -eva -eva-no-results -mdr-gen sarif -mdr-sarif-deterministic libc.c -mdr-no-print-libc -mdr-out ./without-libc.sarif.unfiltered",
+ "commandLine": "frama-c -check -no-autoload-plugins -add-symbolic-path=PTEST_SESSION:. -load-plugin=eva,from,scope,inout,markdown-report -eva -eva-no-results -mdr-gen sarif -mdr-sarif-deterministic libc.c -mdr-no-print-libc -mdr-out ./without-libc.sarif.unfiltered",
"arguments": [
"-check", "-no-autoload-plugins",
"-add-symbolic-path=PTEST_SESSION:.",
diff --git a/src/plugins/server/tests/batch/oracle/wrong.out.json b/src/plugins/server/tests/batch/oracle/wrong.out.json
index abb3045408487c5f4445ce8641fd21105b445c19..e083e787f78e5c7848fe16123698d5d618f41d70 100644
--- a/src/plugins/server/tests/batch/oracle/wrong.out.json
+++ b/src/plugins/server/tests/batch/oracle/wrong.out.json
@@ -2,8 +2,7 @@
{ "id": "unknown request", "error": "request not found" },
{
"id": "wrong data",
- "error":
- "Expected string, got object:\n{ \"f1\": 1, \"f2\": { \"x\": 1, \"y\": 2 }, \"f3\": null }",
+ "error": "Expected string, got object:\n{ \"f1\": 1, \"f2\": { \"x\": 1, \"y\": 2 }, \"f3\": null }",
"at": {
"id": "wrong data",
"request": "kernel.ast.printFunction",