File: indent_named_assert.v

package info (click to toggle)
verilog-mode 20161124.fd230e6-2
  • links: PTS, VCS
  • area: main
  • in suites: buster, stretch
  • size: 3,764 kB
  • ctags: 5,143
  • sloc: lisp: 12,430; perl: 293; makefile: 146; sh: 35; fortran: 2
file content (9 lines) | stat: -rw-r--r-- 206 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
 
module test;
property p_test;
a |-> b;
endproperty : p_test
assert property (p_test);
a_test : assert property (p_test);
a  = b; // this and following lines are not properly indented
foo;
endmodule // test