Document fixed bug in smoke test. Bug #1146 was fixed in #1574. So we can remove the excemption in the smoke test. Signed-off-by: Henner Zeller <hzeller@google.com>
diff --git a/.github/bin/smoke-test.sh b/.github/bin/smoke-test.sh index 4377a01..1e96d74 100755 --- a/.github/bin/smoke-test.sh +++ b/.github/bin/smoke-test.sh
@@ -105,7 +105,6 @@ #--- ivtest KnownIssue[formatter:$BASE_TEST_DIR/ivtest/ivltests/pr2202846c.v]=1015 -KnownIssue[formatter:$BASE_TEST_DIR/ivtest/ivltests/packed_dims_invalid_class.v]=1146 #--- nontrivial-mips KnownIssue[formatter:$BASE_TEST_DIR/nontrivial-mips/src/cpu/decode/decoder.sv]=984