I played with PICT
https://github.com/Microsoft/pict but am unable to get it to express, or generate the test cases for the following:
Some things should never change. action : buy, sell category : market, limit Some things can change duration : day, gtc properties: tick_piot, penny
What I would like to do is to give PICT full control over things that can be optimized (
properties) and keep intact cases generated from
buy, market, whatever buy, limit, whatever
How can I express this please. PICT solution is preferred. Many thanks!