Verilog: `return` statements by kroening · Pull Request #1678 · diffblue/hw-cbmc

kroening · 2026-02-26T23:47:53Z

This adds SystemVerilog return statements.

This adds SystemVerilog return statements.

kroening added the Verilog label Feb 26, 2026

kroening force-pushed the verilog-return branch 9 times, most recently from f657749 to af43f82 Compare March 3, 2026 22:51

Verilog: return statements

78c2b09

This adds SystemVerilog return statements.

kroening force-pushed the verilog-return branch from af43f82 to 78c2b09 Compare March 3, 2026 23:00

kroening marked this pull request as ready for review March 3, 2026 23:01

tautschnig approved these changes Mar 4, 2026

View reviewed changes

tautschnig merged commit d0c223d into main Mar 4, 2026
11 checks passed

tautschnig deleted the verilog-return branch March 4, 2026 10:53

Provide feedback