fix(kyber/hax): exclude libcrux_platform submodules

cryspen · Jan 31, 2024 · 0330648 · 0330648
1 parent 4f8e208
commit 0330648
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hax-driver.py b/hax-driver.py
@@ -124,7 +124,7 @@ def shell(command, expect=0, cwd=None, env={}):
             "-C", "-p", "libcrux", "-p", "libcrux-platform", ";",
             "into",
             "-i",
-            f"-** +libcrux::kem::kyber::** +libcrux_platform::** {exclude_sha3_implementations} -libcrux::**::types::index_impls::**",
+            f"-** +libcrux::kem::kyber::** +libcrux_platform::* -libcrux_platform::*::** {exclude_sha3_implementations} -libcrux::**::types::index_impls::**",
             "fstar",
             "--interfaces",
             "+* -libcrux::kem::kyber::types +!libcrux_platform::**",