luke
/
sv2v
mirror of https://github.com/zachjs/sv2v.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
sv2v/test/basic/empty_constructs.v

3 lines
22 B
Coq
Raw Normal View History

support for empty packages (resolves #9)
2019-08-08 03:58:20 +02:00
module top;
endmodule