source: cegar_dev/cegar/abstract_model/main_abstract.v @ 86

module main_Abs(clk);

input clk;
input i1;
output o1;
output o2;
output r_i1;

machine_concret1_Abs1 machine_concret1_a1(clk,i1,o1,o2,r_i1);


endmodule
`include machine_concret1_Abs1.v