diff --git a/tests/crowbar/test_ghost_cfg.ml b/tests/crowbar/test_ghost_cfg.ml
index c9ab3c9ba179bd832c3c5f018b932215393a36f0..1fb0749203dd9066a4030978de53a9b67e42983b 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"