aboutsummaryrefslogtreecommitdiff
path: root/test/dup_cases.ml
diff options
context:
space:
mode:
authorChimrod <>2024-12-14 23:06:12 +0100
committerChimrod <>2025-01-03 15:05:00 +0100
commit75f3eabb46eded01460f7700a75d094100047438 (patch)
tree4dcee7d2fc9310ff41776d9df8986f5efa0db229 /test/dup_cases.ml
parent289dc576624d4233116806e566bb791fee1de178 (diff)
Added dynamic check mecanismHEADmaster
Diffstat (limited to 'test/dup_cases.ml')
-rw-r--r--test/dup_cases.ml10
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";
};
]