Rev 7210 | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
7210 | bpr | 1 | Available options: |
20 | reyssat | 2 | nofloat nostatus fixedgoal askcontext askresult nosimplify strongsimplify |
3 | expand factor |
||
4 | |||
5 | nofloat: do not accept floating point numbers with `.'. |
||
6 | nostatus: do not show step status. |
||
7 | fixedgoal: do not allow goal reduction. |
||
8 | askcontext: ask for application context of each method (when available). |
||
9 | askresult: ask for result of each method (when available). |
||
10 | nosimplify: do not simplify method results. |
||
11 | strongsimplify: strongly simplify method results. |
||
12 | expand: expand after simplification. |
||
13 | factor: factor out after simplification. |