Change path printing log level to debug

Author: karoliineh

src/arg/violation.ml

@@ -380,7 +380,7 @@ let find_path (type node) (module Arg:ViolationArg with type Node.t = node) (mod
 
   let print_path path =
     List.iter (fun (n1, e, n2) ->
-        Logs.info "  %s =[%s]=> %s" (Arg.Node.to_string n1) (Arg.Edge.to_string e) (Arg.Node.to_string n2)
+        Logs.debug "  %s =[%s]=> %s" (Arg.Node.to_string n1) (Arg.Edge.to_string e) (Arg.Node.to_string n2)
       ) path
   in
 

tests/regression/witness/violation.t/run.t

@@ -12,12 +12,6 @@
     dead: 3
     total lines: 11
   [Warning][Deadcode][CWE-571] condition 'i == 1' is always true (callfpointer.c:11:5-11:9)
-  [Info]   fun316main(12)[7] =[Entry main]=> s11(12)[7]
-  [Info]   s11(12)[7] =[InlineEntry '(& h)']=> fun309f(18)[16]@s11(12)[7]
-  [Info]   fun309f(18)[16]@s11(12)[7] =[Entry f]=> s3(18)[16]@s11(12)[7]
-  [Info]   s3(18)[16]@s11(12)[7] =[InlineEntry '(1)']=> fun313h(24)[21]@s3(18)[16]@s11(12)[7]
-  [Info]   fun313h(24)[21]@s3(18)[16]@s11(12)[7] =[Entry h]=> s5(24)[21]@s3(18)[16]@s11(12)[7]
-  [Info]   s5(24)[21]@s3(18)[16]@s11(12)[7] =[Test (i == 1,true)]=> s7(24)[21]@s3(18)[16]@s11(12)[7]
   SV-COMP result: unknown
 
   $ graph-easy --as=boxart arg.dot