]> git.nickg.me.uk Git - nvc.git/commit
Option --exit-severity now also controls exit status. Fixes #850
authorNick Gasson <nick@nickg.me.uk>
Sun, 18 Feb 2024 11:27:22 +0000 (11:27 +0000)
committerNick Gasson <nick@nickg.me.uk>
Sun, 18 Feb 2024 11:32:59 +0000 (11:32 +0000)
commita0e1171e7b5b01c683230d9db8cca478e2a19f0e
treef3d68da2108bb3b8b592a9aa3ae68eaa79c37ac9
parent147b84d7a64e354bfe12e1b28ae720249df1f421
Option --exit-severity now also controls exit status. Fixes #850
NEWS.md
nvc.1
src/nvc.c
src/rt/assert.c
src/rt/assert.h
src/rt/model.c
test/regress/issue850.sh [new file with mode: 0644]
test/regress/testlist.txt