• Home
• de.opal-project
• static-analysis-infrastructure_2.13
• 5.0.0
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

ct.static-analysis-infrastructure_2.13.5.0.0.source-code.reference.conf Maven / Gradle / Ivy

org.opalj {

  // Turns on the debugging support of the property store which is primarily meant
  // to support the debugging of analyses developed using the property store.
  // I.e., debug performs a wide range of additionaly checks to identify errors as
  // early as possible.
  fpcf.PropertyStore.Debug = false
  fpcf.PropertyStore.TraceFallbacks = false
  fpcf.PropertyStore.TraceSuppressedNotifications = false
  fpcf.PropertyStore.Default = "Parallel"

  // For tasks managers for the seq. store see PKESequentialPropertyStore.Strategies
  fpcf.seq.PKESequentialPropertyStore.TasksManager = "ManyDirectDependenciesLast"
  fpcf.seq.PKESequentialPropertyStore.MaxEvaluationDepth = 32

  // For tasks managers for the par. store see PKECPropertyStore.Strategies
  fpcf.par.PKECPropertyStore.TasksManager = "NoPriority"
  fpcf.par.PKECPropertyStore.MaxEvaluationDepth = 32
}