Revert "Renamed config option related to symbex logger"

This reverts commit 85da8db.

Author: mschwerhoff

src/main/scala/Config.scala

@@ -199,12 +199,6 @@ class Config(args: Seq[String]) extends SilFrontendConfig(args, "Silicon") {
     valueName = "level"
   )
 
-  val writeSymbexLogFile: ScallopOption[Boolean] = opt[Boolean]("writeSymbexLogFile",
-    descr = "Report the symbolic execution log as ExecutionTraceReport",
-    default = Some(false),
-    noshort = true
-  )
-
   val timeout: ScallopOption[Int] = opt[Int]("timeout",
     descr = ( "Time out after approx. n seconds. The timeout is for the whole verification, "
             + "not per method or proof obligation (default: 0, i.e. no timeout)."),

src/main/scala/SymbExLogger.scala

@@ -166,7 +166,7 @@ object SymbExLogger {
     */
   @elidable(INFO)
   def writeDotFile() {
-    if (config.writeSymbexLogFile()) {
+    if (config.writeTraceFile()) {
       val dotRenderer = new DotTreeRenderer()
       val str = dotRenderer.render(memberList)
       val pw = new java.io.PrintWriter(new File(getOutputFolder() + "dot_input.dot"))
@@ -180,7 +180,7 @@ object SymbExLogger {
     */
   @elidable(INFO)
   def writeJSFile() {
-    if (config.writeSymbexLogFile()) {
+    if (config.writeTraceFile()) {
       val pw = new java.io.PrintWriter(new File(getOutputFolder() + "executionTreeData.js"))
       try pw.write(toJSString()) finally pw.close()
     }