source: trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/efg/commands

Name Size Rev Age Author Last Change
../
CMDefgToMM.java 1.4 KB 227   13 years sherbold * extracted class de.ugoe.cs.eventbench.efg.EFGModelGenerator from …
CMDefgToDFA.java 1.4 KB 227   13 years sherbold * extracted class de.ugoe.cs.eventbench.efg.EFGModelGenerator from …
CMDefgTestCasesToSequences.java 2.2 KB 425   12 years sherbold * implemented file filtering to consider only .tst files when EFG test …
Note: See TracBrowser for help on using the repository browser.