|
luafaudes Tutorial: syn_5_stdcons.luaTo run the below Lua script, cd to the tutorial section of the respective plug-in and enter luafaudes syn_5_stdcons.lua at the command prompt. The script will read input data from ./tutorial/data/. -- Test cases for IsStdSynthesisConsistent -- ------------------------------------------ -- test case A -- ------------------------------------------ -- read plant incl attributes plant = faudes.System("data/syn_5_planta.gen") -- prepare abstraction sig_o = plant:ObservableEvents() plant_o = faudes.Generator() faudes.Project(plant,sig_o,plant_o) -- perform test ssc = faudes.IsStdSynthesisConsistent(plant,plant_o) -- report if ssc then print("consistency case A: passed [expected]") else print("consistency case A: failed [ERROR]") end -- graphical output for documentation plant:Write("tmp_syn_5_planta.gen") plant:GraphWrite("tmp_syn_5_planta.svg") plant_o:Write("tmp_syn_5_planta0.gen") plant_o:GraphWrite("tmp_syn_5_planta0.svg")
libFAUDES 2.26g --- 2015.08.17 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-pushdown-timed-simulator-iodevice-luabindings" |