From 190c4af0c7067a2fd9b569832cf048e32ccd8a69 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 17 Feb 2020 14:58:22 +0100
Subject: [PATCH] [crowbar] force test_ghost_cfg to link module Ghost_cfg in
the executable
Otherwise, chances to trigger an `abort` from `Ghost_cfg` become pretty slim.
Also, consider other failures worthy of investigation as well
---
tests/crowbar/test_ghost_cfg.ml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/tests/crowbar/test_ghost_cfg.ml b/tests/crowbar/test_ghost_cfg.ml
index c9ab3c9ba17..1fb0749203d 100644
--- a/tests/crowbar/test_ghost_cfg.ml
+++ b/tests/crowbar/test_ghost_cfg.ml
@@ -1,6 +1,9 @@
open Crowbar
open Cil_types
+(* just here to ensure we load the corresponding transformation. *)
+let _ = Ghost_cfg.transform_category
+
module Loc = Cil_datatype.Location
let report file_name s =
@@ -370,7 +373,7 @@ let check_file (env, file) =
Printf.printf
"Uncaught exception: %s\n%t\nFile saved in %s\n%!"
(Printexc.to_string exn) Printexc.print_backtrace file_name;
- bad_test()
+ report file_name "Found code leading to an unknown exception"
in
if env.should_fail && success then
report file_name "Found ghost code that should not have been accepted"
--
GitLab