run.cmd

UML设计测试工具

reset
load examples/generator/schleifen/invarianten.txt
flags -d -n

-- the loaded invariant Zug::Kette_zuWeich is deactivated in this example
flags Zug::Kette_zuWeich +d

flags Waggon::KeineSchleife +n
start examples/generator/zug.assl testeZugaufbauUndWaggonreihung(1, 2)