run2.cmd

UML设计测试工具

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

-- Replacing `Zug::Kette' with `Zug::Kette_zuWeich'.
-- Therfore deactivating `Zug:Kette'
-- `Zug::Kette_zuWeich' is already activated
flags Zug::Kette +d

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