diff --git a/tests/codegen/default.nix b/tests/codegen/default.nix index 4bf91db83..3c03c9f94 100644 --- a/tests/codegen/default.nix +++ b/tests/codegen/default.nix @@ -29,6 +29,7 @@ let ${riscv-vector-test}/bin/single \ -VLEN "${builtins.toString rtlDesignMetadata.vlen}" \ -XLEN "${builtins.toString rtlDesignMetadata.xlen}" \ + -float16 false \ -repeat 16 \ -testfloat3level 2 \ -configfile ${riscv-vector-test}/configs/${rawCaseName}.toml \