# Regular override integer
verific -sv top.v
verific -vhdl top.vhd
tee -o test1.out verific -import -chparam WIDTH 2 top_veri_v2k top_veri_95 top_vhdl

# Regular override string
design -reset
verific -sv top.v
verific -vhdl top.vhd
tee -o test2.out verific -import -chparam greeting "hola hola" top_veri_v2k top_veri_95 top_vhdl

# Non-existent overrides
design -reset
verific -sv top.v
verific -vhdl top.vhd
tee -o test3.out verific -import -chparam nonexistent 12345678 top_veri_v2k top_veri_95 top_vhdl

# Duplicate overrides
design -reset
verific -sv top.v
verific -vhdl top.vhd
tee -o test4.out verific -import -chparam WIDTH 3 -chparam WIDTH 1 top_veri_v2k top_veri_95 top_vhdl

# All of the above
design -reset
verific -sv top.v
verific -vhdl top.vhd
tee -o test5.out verific -import -chparam WIDTH 9999 -chparam WIDTH 2 -chparam INIT 0 -chparam greeting "bonjour  " -chparam nonexistent 12345678 top_veri_v2k top_veri_95 top_vhdl