se.py: support specifying multiple programs via command line
authorNilay Vaish <nilay@cs.wisc.edu>
Sun, 9 Sep 2012 14:33:45 +0000 (09:33 -0500)
committerNilay Vaish <nilay@cs.wisc.edu>
Sun, 9 Sep 2012 14:33:45 +0000 (09:33 -0500)
commit0b45ae5df33e7aea01e04fd7f44afdf253b854c7
tree9d38fcaf6eb2047eb385101f487d418f11bf8446
parentd4a6d9846a2c55861a93e78ba4b6d82d14bed9c6
se.py: support specifying multiple programs via command line
This patch allows for specifying multiple programs via command line. It also
adds an option for specifying whether to use of SMT. But SMT does not work for
the o3 cpu as of now.
configs/common/Options.py
configs/example/se.py