Allow the user to mix pre-defined property types

[GoogleCodeExporter]

Why is this enhancement useful?

Users can currently run InvariMint in one of two modes, specified via 
command-line options:
--invMintKTails    : Run the InvariMint-kTails algorithm.
--invMintSynopticp : Run the InvariMint-Synoptic algorithm.

However, the core of the InvariMint proposal is the idea that a
developer/algorithm-designer should be able to mix property types,
depending on application. So, to expose the full power of the
technique, the implementation must be made more flexible.

As a first step, this enhancement will allow users to name invariants in place 
of specific algorithms on the command line:

--AFby
--AP
--NFby
--kTails=1

Original issue reported on code.google.com by jenny.abrahamson on 5 Mar 2013 at 9:48

[GoogleCodeExporter]

Another property type to add to the above list is IFby, or "can be immediately 
followed by".

Original comment by bestchai on 23 Jan 2014 at 6:22

[GoogleCodeExporter]

Original comment by Caro.Lem...@gmail.com on 27 Jan 2014 at 5:23

• Changed state: Started

[GoogleCodeExporter]

I added a few comments to the new code, labeled with "IB".

Original comment by bestchai on 12 Feb 2014 at 11:49

[GoogleCodeExporter]

Solution in revision 9a8e61389b69, please review.

Original comment by Caro.Lem...@gmail.com on 26 Mar 2014 at 3:31

[GoogleCodeExporter]

Merged into default with revision e078a6cc173e

Original comment by bestchai on 26 Mar 2014 at 8:39

• Changed state: Fixed