]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 97f170e) | patch
Adds a command line configuration option that is saved into a map. So that you can...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 15 Dec 2010 07:34:49 +0000 (07:34 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 15 Dec 2010 07:34:49 +0000 (07:34 +0000)
commit147371a7062cf0d74adfc5f25514d959e907f813
tree490dde1262654cafaecf4e3ad95c9899f72ad835tree | snapshot
parent97f170ee4032a1868dca9282d878276c03d074cfcommit | diff
Adds a command line configuration option that is saved into a map. So that you can do: --config_va=3 for instance.
This will save va="3" into the config_options map.
I'm intending to use this to allow more options to be controlled from the command line without having the hastle of creating new names for each of them.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1035 e59a4935-1847-0410-ae03-e826735625c1
src/STPManager/UserDefinedFlags.h diff | blob | history
src/main/main.cpp diff | blob | history
src/to-sat/BitBlaster.cpp diff | blob | history
src/to-sat/BitBlaster.h diff | blob | history
src/to-sat/ToSAT.cpp diff | blob | history
STP Constraint Solver.