temporarily disabled the binary format test file to test for OOM issu…

…e on opam-coq's CI
WasmCert · Oct 17, 2024 · f050e87 · f050e87
1 parent c6e30c7
commit f050e87
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/theories/binary_format_tests.v b/theories/binary_format_tests.v
@@ -1,4 +1,5 @@
 (** Tests for the binary parser. **)
+(* Commented out temporarily to test for OOM issues
 Require Import Strings.Byte.
 From parseque Require Import Parseque.
 Require Import BinNat.
@@ -186,3 +187,4 @@ Definition module_tableops := {|
 Lemma module_tableops_exported_round_trip :
   run_parse_module (binary_of_module module_tableops) = Some module_tableops.
 Proof. vm_compute. reflexivity. Qed.
+*)