option is now --trace

Daniel Kroening · Daniel Kroening · commit 430218f9cf2d · 2017-09-12T10:46:29.000+01:00
diff --git a/regression/symex/show-trace1/test.desc b/regression/symex/show-trace1/test.desc
@@ -1,6 +1,6 @@
 CORE
 main.c
---show-trace
+--trace
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
