From 4673e6ac469987107965d1c129eefffc9ca90a6c Mon Sep 17 00:00:00 2001 From: Ilya Zorin Date: Wed, 4 Sep 2024 06:32:08 -0700 Subject: [PATCH] [hack] Move some models logging to debug only to avoid log spew Summary: Move some models logging to debug only to avoid log spew Reviewed By: nbenton Differential Revision: D62181619 fbshipit-source-id: ae1e140212bad0c3bc69ba8aec8546600536a4c1 --- infer/src/pulse/PulseModelsHack.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/pulse/PulseModelsHack.ml b/infer/src/pulse/PulseModelsHack.ml index cf43e16b4bf..f31d160419c 100644 --- a/infer/src/pulse/PulseModelsHack.ml +++ b/infer/src/pulse/PulseModelsHack.ml @@ -1452,7 +1452,7 @@ let check_against_type_struct v tdict : DSL.aval DSL.model_monad = | None -> L.d_printfln "didn't get known integer tag in check against type struct" ; let* md = get_data in - L.internal_error "known tag failure tdict is %a at %a" AbstractValue.pp (fst tdict) + L.d_printfln "known tag failure tdict is %a at %a" AbstractValue.pp (fst tdict) Location.pp_file_pos md.location ; ret None | Some k -> (