Code

Add option lib.activated#1028

Code

Merged

sim642 merged 5 commits intomastergoblint/analyzer:masterfrom libfuns-activatedgoblint/analyzer:libfuns-activatedCopy head branch name to clipboardApr 5, 2023

+93-24

Commits

Commits on Apr 3, 2023

• Add option lib.activated

  sim642

  committed
  44e1c82

• Deactivate zstd library by default

  sim642

  committed
  1812a73

• Deactivate sv-comp library by default

  sim642

  committed
  e74b3da

• Deactivate linux-kernel library by default

  sim642

  committed
  818a06c

• Use stdlib.c and pthread.c stubs only when library activated

  sim642

  committed
  9c17fdc