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. |