Skip to content

Commit 367b664

Browse files
committed
Merge branch 'f-IncludeGlobalsDefaultOn' into development
2 parents 64b6852 + b3b8d2c commit 367b664

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

include/phasar/PhasarLLVM/ControlFlow/LLVMBasedICFG.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -192,7 +192,7 @@ class LLVMBasedICFG
192192
LLVMBasedICFG(ProjectIRDB &IRDB, CallGraphAnalysisType CGType,
193193
const std::set<std::string> &EntryPoints = {},
194194
LLVMTypeHierarchy *TH = nullptr, LLVMPointsToInfo *PT = nullptr,
195-
Soundness S = Soundness::Soundy, bool IncludeGlobals = false);
195+
Soundness S = Soundness::Soundy, bool IncludeGlobals = true);
196196

197197
LLVMBasedICFG(const LLVMBasedICFG &);
198198

0 commit comments

Comments
 (0)