Opinionated OCaml linter with Merlin integration for code quality, naming conventions, and style checks
Reject unknown VDS algorithm_ids, prevent hash registry overwrite
- Missing vds (395) in receipt protected header → Error
- Unknown algorithm_id in verification → Error
- register_hash raises Invalid_argument on duplicate ID
- 4 attacker tests for MST backend
- Linter-promoted formatting changes
+12
-2
+12
-2
test/cram/e724.t/run.t
+12
-2
test/cram/e724.t/run.t
···
29
29
✗ Some checks failed. See details above.
30
30
[1]
31
31
32
+
33
+
34
+
35
+
36
+
32
37
Test good example - fuzz directory with all required build rules:
33
38
$ merlint -B -r E724 good/
34
39
Running merlint analysis...
35
40
36
41
Analyzing 2 files
37
-
42
+
38
43
✓ Code Quality (0 total issues)
39
44
✓ Code Style (0 total issues)
40
45
✓ Naming Conventions (0 total issues)
41
46
✓ Documentation (0 total issues)
42
47
✓ Project Structure (0 total issues)
43
48
✓ Test Quality (0 total issues)
44
-
49
+
45
50
Summary: ✓ 0 total issues (applied 1 rule)
46
51
✓ All checks passed!
52
+
53
+
54
+
55
+
56
+