Two-body Keplerian orbit propagation
Reject duplicate CBOR keys in VDS import
import used List.find_opt on raw map pairs, so a duplicate
"version" or "entries" key would shadow later occurrences.
Now checks for byte-equal duplicate keys before field extraction,
consistent with the receipt parser's cbor_check_unique_keys.
+4
-5
+4
-5
fuzz/dune
+4
-5
fuzz/dune
···
14
14
(alias fuzz)
15
15
(enabled_if
16
16
(= %{profile} afl))
17
-
(deps
18
-
(source_tree corpus)
19
-
fuzz.exe
20
-
gen_corpus.exe)
17
+
(deps fuzz.exe)
21
18
(action
22
-
(echo "AFL fuzzer built: %{exe:fuzz.exe}\n")))
19
+
(progn
20
+
(run %{exe:fuzz.exe} --gen-corpus corpus)
21
+
(run afl-fuzz -V 60 -i corpus -o _fuzz -- %{exe:fuzz.exe} @@))))