• luafaudes
• Introduction  
• Lua-Console  
• Lua-Extensions  
• Technical Detail  
•  
• Tutorials
• 1_containers.lua  
• 2_generators.lua  
• 3_regular.lua  
• 4_composition.lua  
• 5_faulttolerant.lua  
• decdemo_verify.lua  
• diag_1_event.lua  
• diag_2_language.lua  
• diag_3_modular.lua  
• elevator_synthesis.lua  
• ftc_tutorial_models.lua  
• ftc_tutorial_reconf.lua  
• hio_1_introduction.lua  
• hio_2_hiogenerators.lua  
• hio_3_hiofunctions.lua  
• hio_4_transport_unit.lua  
• ios_1_system.lua  
• mtc_1_generators.lua  
• mtc_2_functions.lua  
• mtc_3_observer.lua  
• op_fsmsynth_ds.lua  
• op_fsmsynth_exit1.lua  
• op_fsmsynth_exit2.lua  
• op_fsmsynth_ics.lua  
• op_fsmsynth_ms.lua  
• op_fsmsynth_pc1.lua  
• op_fsmsynth_pc1_exit1_ics.lua  
• op_fsmsynth_pc2.lua  
• syn_1_simple.lua  
• syn_3_reduction.lua  
• syn_4_validate.lua  
• syn_5_stdcons.lua  

luafaudes Tutorial: syn_4_validate.lua

To run the below Lua script, cd to the tutorial section of the respective plug-in and enter luafaudes syn_4_validate.lua at the command prompt. The script will read input data from ./tutorial/data/.

-- This script runs a number of test cases for
-- the purpose of validation 


-- ---------------------------------------------
-- ---------------------------------------------
--
-- SupNormClosed test cases
-- data kindly provided by Tomas Masopust.
--
-- ---------------------------------------------
-- ---------------------------------------------


-- Test case 1

L1=faudes.System("data/syn_supnorm_l1.gen")
So1=faudes.Alphabet("data/syn_supnorm_o1.txt")
K1=faudes.System("data/syn_supnorm_k1.gen")
supN1 = faudes.System()
faudes.SupNormClosed(L1,So1,K1,supN1)

FAUDES_TEST_DUMP("supnorm 1",supN1)


-- Test case 2

L2=faudes.System("data/syn_supnorm_l2.gen")
So2=faudes.Alphabet("data/syn_supnorm_o2.txt")
K2=faudes.System("data/syn_supnorm_k2.gen")
supN2 = faudes.System()
faudes.SupNormClosed(L2,So2,K2,supN2)

FAUDES_TEST_DUMP("supnorm 2",supN2)


-- Test case 3

L3=faudes.System("data/syn_supnorm_l3.gen")
So3=faudes.Alphabet("data/syn_supnorm_o3.txt")
K3=faudes.System("data/syn_supnorm_k3.gen")
supN3 = faudes.System()
faudes.SupNormClosed(L3,So3,K3,supN3)

FAUDES_TEST_DUMP("supnorm 3",supN3)


-- ---------------------------------------------
-- ---------------------------------------------
--
-- SupRelativelyPrefixClosed test cases
--
-- ---------------------------------------------
-- ---------------------------------------------

-- Test case 1

L=faudes.Generator("data/syn_suprpc_l.gen")
E=faudes.Generator("data/syn_suprpc_e.gen")
supK = faudes.Generator()
faudes.SupRelativelyPrefixClosed(L,E,supK)
L:Write("tmp_syn_suprpc_l.gen")
E:Write("tmp_syn_suprpc_e.gen")
supK:Write("tmp_syn_suprpc_k.gen")

FAUDES_TEST_DUMP("suprpc 1",supK)

-- Validate
FAUDES_TEST_DIFF()

libFAUDES 2.32b --- 2024.03.01 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings-hybrid-example-pybindings"