From e3b4a135aec77044b65d30fb854ab6c2b2f46a68 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 27 Nov 2018 07:30:06 -0800 Subject: [PATCH] [ai][pulse] fix minor html indentation issues Summary: ross_pretty Reviewed By: da319 Differential Revision: D13102950 fbshipit-source-id: 594213520 --- infer/src/absint/AbstractInterpreter.ml | 2 +- infer/src/checkers/PulseDomain.ml | 16 ++++++++-------- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/infer/src/absint/AbstractInterpreter.ml b/infer/src/absint/AbstractInterpreter.ml index 715632145..dd9ca5ffc 100644 --- a/infer/src/absint/AbstractInterpreter.ml +++ b/infer/src/absint/AbstractInterpreter.ml @@ -118,7 +118,7 @@ module AbstractInterpreterCommon (TransferFunctions : TransferFunctions.SIL) = s else if phys_equal result right then F.pp_print_string f "= RIGHT" else Domain.pp f result in - L.d_printfln_escaped "LEFT: %a@.RIGHT: %t@.RESULT: %t@." Domain.pp left pp_right pp_result ; + L.d_printfln_escaped "LEFT: %a@.RIGHT: %t@.RESULT: %t@." Domain.pp left pp_right pp_result ; NodePrinter.finish_session underlying_node diff --git a/infer/src/checkers/PulseDomain.ml b/infer/src/checkers/PulseDomain.ml index 21206de83..681f6cbe8 100644 --- a/infer/src/checkers/PulseDomain.ml +++ b/infer/src/checkers/PulseDomain.ml @@ -372,14 +372,14 @@ module Domain : AbstractDomain.S with type t = astate = struct Memory.fold (one_addr state.subst) state.astate.heap (Memory.empty, true) in if has_converged then ( - L.d_strln "Join unified addresses:" ; - L.d_increase_indent () ; - Container.iter state.subst ~fold:AddressUF.fold_sets - ~f:(fun ((repr : AddressUF.Repr.t), set) -> - L.d_printfln "%a=%a" AbstractAddress.pp - (repr :> AbstractAddress.t) - AddressUnionSet.pp set ) ; - L.d_decrease_indent () ; + let pp_union_find_classes f subst = + Container.iter subst ~fold:AddressUF.fold_sets + ~f:(fun ((repr : AddressUF.Repr.t), set) -> + F.fprintf f "%a=%a@;" AbstractAddress.pp + (repr :> AbstractAddress.t) + AddressUnionSet.pp set ) + in + L.d_printfln "Join unified addresses:@\n@[ %a@]" pp_union_find_classes state.subst ; let stack = Stack.map (to_canonical_address state.subst) state.astate.stack in {heap; stack} ) else normalize {state with astate= {state.astate with heap}}