wiki:news:3nov2013
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
wiki:news:3nov2013 [2013/11/03 18:24] – pmueller | wiki:news:3nov2013 [2013/11/03 18:25] – pmueller | ||
---|---|---|---|
Line 12: | Line 12: | ||
This new feature requires a lot of coding internal in the generator backends and other parts of the code. Therefore this feature is only available in the CX backend initially. Also some other features of the code generator can't be used at the moment if "init to choice transitions" | This new feature requires a lot of coding internal in the generator backends and other parts of the code. Therefore this feature is only available in the CX backend initially. Also some other features of the code generator can't be used at the moment if "init to choice transitions" | ||
- | - test case generation | + | * test case generation |
- | - simulation / editing using the built in editor | + | |
- | - robustness checks (partly) | + | |
More backends and the missing features will be added step by step depending on your feedback. | More backends and the missing features will be added step by step depending on your feedback. |
wiki/news/3nov2013.txt · Last modified: 2022/08/17 19:47 by pmueller