Skip to content
Snippets Groups Projects
Commit ea5d2b08 authored by Julien Girard-Satabin's avatar Julien Girard-Satabin Committed by Julien Girard-Satabin
Browse files

[test] Updated AIMOS prover answer to match Why3 1.7 prover output

parent 3d5c04b2
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 12 additions and 12 deletions
flake.lock
+ 12
− 12
View file @ ea5d2b08
......@@ -11,11 +11,11 @@
"locked": {
"lastModified": 1,
"narHash": "sha256-/UVOUsDr/tqXgJ0lzS4jfpMR36E19IUtb3+yJvGCS3s=",
"path": "/nix/store/gn5dnmdbq0asvsa2vzdh29w9hkyswlaw-source/vendor/abcrown",
"path": "/nix/store/sxlh3q4wz1mdqjrkd2mkklh2jpxj16bn-source/vendor/abcrown",
"type": "path"
},
"original": {
"path": "/nix/store/gn5dnmdbq0asvsa2vzdh29w9hkyswlaw-source/vendor/abcrown",
"path": "/nix/store/sxlh3q4wz1mdqjrkd2mkklh2jpxj16bn-source/vendor/abcrown",
"type": "path"
}
},
......@@ -24,11 +24,11 @@
"locked": {
"lastModified": 1,
"narHash": "sha256-FgO4U0EDYd0ynnZDpEVO2yzMIO7y8/e6S+WBzypz/Z0=",
"path": "/nix/store/gn5dnmdbq0asvsa2vzdh29w9hkyswlaw-source/VERSION",
"path": "/nix/store/sxlh3q4wz1mdqjrkd2mkklh2jpxj16bn-source/VERSION",
"type": "path"
},
"original": {
"path": "/nix/store/gn5dnmdbq0asvsa2vzdh29w9hkyswlaw-source/VERSION",
"path": "/nix/store/sxlh3q4wz1mdqjrkd2mkklh2jpxj16bn-source/VERSION",
"type": "path"
}
},
......@@ -150,11 +150,11 @@
"locked": {
"lastModified": 1,
"narHash": "sha256-V7BK+6EXtF0DjfYJZqIg1wS2khculp4riRVqM/+MHGE=",
"path": "/nix/store/gn5dnmdbq0asvsa2vzdh29w9hkyswlaw-source/vendor/marabou",
"path": "/nix/store/sxlh3q4wz1mdqjrkd2mkklh2jpxj16bn-source/vendor/marabou",
"type": "path"
},
"original": {
"path": "/nix/store/gn5dnmdbq0asvsa2vzdh29w9hkyswlaw-source/vendor/marabou",
"path": "/nix/store/sxlh3q4wz1mdqjrkd2mkklh2jpxj16bn-source/vendor/marabou",
"type": "path"
}
},
......@@ -244,11 +244,11 @@
"locked": {
"lastModified": 1,
"narHash": "sha256-2cKWbmrFOGsX6nY0xyeTtU7oG61zWXTv313xSayNd18=",
"path": "/nix/store/gn5dnmdbq0asvsa2vzdh29w9hkyswlaw-source/vendor/nnenum",
"path": "/nix/store/sxlh3q4wz1mdqjrkd2mkklh2jpxj16bn-source/vendor/nnenum",
"type": "path"
},
"original": {
"path": "/nix/store/gn5dnmdbq0asvsa2vzdh29w9hkyswlaw-source/vendor/nnenum",
"path": "/nix/store/sxlh3q4wz1mdqjrkd2mkklh2jpxj16bn-source/vendor/nnenum",
"type": "path"
}
},
......@@ -263,11 +263,11 @@
"locked": {
"lastModified": 1,
"narHash": "sha256-POrh9c/ov+89Py2tO0Qp53PZ4So/9AcrMsHKGevXrdU=",
"path": "/nix/store/gn5dnmdbq0asvsa2vzdh29w9hkyswlaw-source/vendor/pyrat_compiled",
"path": "/nix/store/sxlh3q4wz1mdqjrkd2mkklh2jpxj16bn-source/vendor/pyrat_compiled",
"type": "path"
},
"original": {
"path": "/nix/store/gn5dnmdbq0asvsa2vzdh29w9hkyswlaw-source/vendor/pyrat_compiled",
"path": "/nix/store/sxlh3q4wz1mdqjrkd2mkklh2jpxj16bn-source/vendor/pyrat_compiled",
"type": "path"
}
},
......@@ -294,11 +294,11 @@
"locked": {
"lastModified": 1,
"narHash": "sha256-2KmAnZFkmfOAvp40iktsRB9H6Mo6Jv0dZveWHIeBRrA=",
"path": "/nix/store/gn5dnmdbq0asvsa2vzdh29w9hkyswlaw-source/vendor/saver",
"path": "/nix/store/sxlh3q4wz1mdqjrkd2mkklh2jpxj16bn-source/vendor/saver",
"type": "path"
},
"original": {
"path": "/nix/store/gn5dnmdbq0asvsa2vzdh29w9hkyswlaw-source/vendor/saver",
"path": "/nix/store/sxlh3q4wz1mdqjrkd2mkklh2jpxj16bn-source/vendor/saver",
"type": "path"
}
},
......
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