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/location.ml | |
| parent | 289dc576624d4233116806e566bb791fee1de178 (diff) | |
Diffstat (limited to 'test/location.ml')
| -rw-r--r-- | test/location.ml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/location.ml b/test/location.ml index a1939f4..cf2008f 100644 --- a/test/location.ml +++ b/test/location.ml @@ -18,6 +18,14 @@ let ok_upper () = Check.global_check "gt 'LOCATION'" [] let missing_gt () = Check.global_check "gt 'unknown_place'" error_message let missing_gs () = Check.global_check "gs 'unknown_place'" error_message +let act_missing_gs () = + Check.global_check {| +act "test": gs 'unknown_place'|} error_message + +let if_missing_gs () = + Check.global_check {| + if 0: gs 'unknown_place'|} error_message + let test = ( "Locations", [ @@ -25,4 +33,6 @@ let test = Alcotest.test_case "Ok upper" `Quick ok_upper; Alcotest.test_case "Missing GT" `Quick missing_gt; Alcotest.test_case "Missing GS" `Quick missing_gs; + Alcotest.test_case "Missing GS in block" `Quick act_missing_gs; + Alcotest.test_case "Missing GS in block'" `Quick if_missing_gs; ] ) |