Delete fork of SMGCPA.

It has been unmaintained for 15 months whereas the regular SMGCPA was developed further, and all changes to the fork except for r12830 have now been merged into the regular SMGCPA. git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@17866 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
bnord01 · Sep 21, 2015 · b517383 · b517383
1 parent ab4ca29
commit b517383
Showing 63 changed files with 0 additions and 14,212 deletions.
diff --git a/config/CPAlien-label.properties b/config/CPAlien-label.properties
diff --git a/config/CPAlien.properties b/config/CPAlien.properties
diff --git a/doc/ConfigurationOptions.txt b/doc/ConfigurationOptions.txt
@@ -1646,37 +1646,6 @@ cpa.smg.stop = "SEP"
 # Emit messages when we encounter non-target undefined behavior
 cpa.smg.unknownOnUndefined = true
 
-# with this option enabled, a check for unreachable memory occurs whenever a
-# function returns, and not only at the end of the main function
-cpa.smgfork.checkForMemLeaksAtEveryFrameDrop = true
-
-# If this Option is enabled, failure of mallocis simulated
-cpa.smgfork.enableMallocFail = true
-
-# Filename format for SMG graph dumps
-cpa.smgfork.exportSMG.file = "smg-%s.dot"
-
-# Describes when SMG graphs should be dumped. One of: {never, leaf,
-# interesting, every}
-cpa.smgfork.exportSMGwhen = "never"
-
-# with this option enabled, memory that is not freed before the end of main
-# is reported as memleak even if it is reachable from local variables in main
-cpa.smgfork.handleNonFreedMemoryInMainAsMemLeak = false
-
-# Sets how unknown functions are handled. One of: {strict, assume_safe}
-cpa.smgfork.handleUnknownFunctions = "strict"
-
-# Determines if memory errors are target states
-cpa.smgfork.memoryErrors = true
-
-# Sets the level of runtime checking: NONE, HALF, FULL
-cpa.smgfork.runtimeCheck = NONE
-  enum:     [FORCED, NONE, HALF, FULL]
-
-# Emit messages when we encounter non-target undefined behavior
-cpa.smgfork.unknownOnUndefined = true
-
 # set this to true when you only want to do a code analysis. If StatisticsCPA
 # is combined with other CPAs to do queries use false.
 cpa.statistics.analysis = true

diff --git a/src/org/sosy_lab/cpachecker/cpa/smgfork/AnonymousTypes.java b/src/org/sosy_lab/cpachecker/cpa/smgfork/AnonymousTypes.java
diff --git a/src/org/sosy_lab/cpachecker/cpa/smgfork/CLangStackFrame.java b/src/org/sosy_lab/cpachecker/cpa/smgfork/CLangStackFrame.java