Merge pull request diffblue#2432 from tautschnig/vs-slice

Daniel Kroening · web-flow · commit 822de5721471 · 2018-06-24T07:29:46.000+01:00
Remove unused, empty function
diff --git a/src/goto-symex/slice_by_trace.cpp b/src/goto-symex/slice_by_trace.cpp
@@ -372,11 +372,6 @@ void symex_slice_by_tracet::compute_ts_back(
   }
 }
 
-void symex_slice_by_tracet::compute_ts_fd(
-  symex_target_equationt &equation)
-{
-}
-
 void symex_slice_by_tracet::slice_SSA_steps(
   symex_target_equationt &equation,
   std::set<exprt> implications)
diff --git a/src/goto-symex/slice_by_trace.h b/src/goto-symex/slice_by_trace.h
@@ -63,8 +63,6 @@ class symex_slice_by_tracet
 
   void parse_events(std::string read_line);
 
-  void compute_ts_fd(symex_target_equationt &equation);
-
   void compute_ts_back(symex_target_equationt &equation);
 
   void slice_SSA_steps(

Original file line number	Diff line number	Diff line change
`@@ -372,11 +372,6 @@ void symex_slice_by_tracet::compute_ts_back(`
`372`	`372`	`}`
`373`	`373`	`}`
`374`	`374`
`375`		`-void symex_slice_by_tracet::compute_ts_fd(`
`376`		`- symex_target_equationt &equation)`
`377`		`-{`
`378`		`-}`
`379`		`-`
`380`	`375`	`void symex_slice_by_tracet::slice_SSA_steps(`
`381`	`376`	`symex_target_equationt &equation,`
`382`	`377`	`std::set<exprt> implications)`