Added expose -dff
authorClifford Wolf <clifford@clifford.at>
Thu, 6 Feb 2014 14:48:42 +0000 (15:48 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 6 Feb 2014 14:48:42 +0000 (15:48 +0100)
commitc526e56747316e9a3b7fa354cb4a498c84e07a82
treeb3e74a75a82a12ead2126687248e13062b583232
parent1c6dea3a0d596c490e09d55b20057e669ec12a23
Added expose -dff
passes/sat/expose.cc