diff options
author | Chimrod <> | 2024-12-14 23:06:12 +0100 |
---|---|---|
committer | Chimrod <> | 2025-01-03 15:05:00 +0100 |
commit | 75f3eabb46eded01460f7700a75d094100047438 (patch) | |
tree | 4dcee7d2fc9310ff41776d9df8986f5efa0db229 /test/dup_cases.ml | |
parent | 289dc576624d4233116806e566bb791fee1de178 (diff) |
Diffstat (limited to 'test/dup_cases.ml')
-rw-r--r-- | test/dup_cases.ml | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/test/dup_cases.ml b/test/dup_cases.ml index 8b9f846..76a1157 100644 --- a/test/dup_cases.ml +++ b/test/dup_cases.ml @@ -28,8 +28,7 @@ elseif rnd: end |} [] -(** The same test in two differents block shall be considered as a duplicate. - *) +(** The same test in two differents block shall be considered as a duplicate. *) let ok_act () = _test_instruction {| @@ -61,14 +60,13 @@ end { level = Warn; loc = _position; - message = "This case is duplicated line(s) 5"; + message = "This case is duplicated line(s) 4"; }; ] let duplicate_root_test () = _test_instruction - {| -if args[0] = 1: + {|if args[0] = 1: 0 end if args[0] = 1: @@ -81,7 +79,7 @@ end { level = Warn; loc = _position; - message = "This case is duplicated line(s) 6"; + message = "This case is duplicated line(s) 4"; }; ] |