diff options
| author | Chimrod <> | 2024-02-04 10:37:04 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-02-08 14:12:45 +0100 |
| commit | 6fd720c07e3e361932e01bfbdbe4637c8f610649 (patch) | |
| tree | 26f983295d8674a08fc9367aaac820c0ace675bc /test/make_checkTest.ml | |
| parent | 35ef1827a216a1deb6d15f916ff197b0c75bc83e (diff) | |
Added a general context for each test
Diffstat (limited to 'test/make_checkTest.ml')
| -rw-r--r-- | test/make_checkTest.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/make_checkTest.ml b/test/make_checkTest.ml index 2066c22..d428b45 100644 --- a/test/make_checkTest.ml +++ b/test/make_checkTest.ml @@ -26,7 +26,8 @@ module M (Check : Qsp_syntax.S.Analyzer) = struct let lexing = Sedlexing.Latin1.from_string content |> Qparser.Lexbuf.from_lexbuf in - Qparser.Analyzer.parse (module Check) lexing + let context = Check.initialize () in + Qparser.Analyzer.parse (module Check) lexing context let get_report : (Check.Location.t * Qsp_syntax.Report.t list, Qsp_syntax.Report.t) result -> |