diff --git a/tests/coverage/fround.S b/tests/coverage/fround.S
deleted file mode 100644
index 7d469d773..000000000
--- a/tests/coverage/fround.S
+++ /dev/null
@@ -1,18 +0,0 @@
-// fround.s
-
-#include "WALLY-init-lib.h"
-
-# run-elf.bash find this in project description
-main:
-
-    bseti t0, zero, 14  # turn on FPU
-    csrs mstatus, t0
-
-    # test fround behavior on NaN
-    li t0, 0x7FC00001
-    fmv.w.x ft0, t0
-    fround.s ft1, ft0
-    j done
-
-.align 10
-data_start: