| File | process.str |
| Author | unknown |
| Since | unknown |
| General | |
| Lines of code | 116 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 1 (100% documented) |
| Overlay number | 0 |
| Strategy number | 7 (100% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| exit | Abort execution with exit value n | process.str |
Strategy details |
|||||||||||
| ATerm | exit | ||||||||||
Abort execution with exit value n.
|
|||||||||||