source: cegar_dev/cegar/abstract_model/Concret_Main.v

module main(clk);

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

machine_concret machine_concret1(clk, i1, o1, o2, r_i1);

endmodule

`include machine_concret.v