1
2
3
4
5
6
7

(* SPDX-License-Identifier: MIT *)
(* Copyright (C) 2023-2024 formalsec *)
(* Written by the Smtml programmers *)

let until_rewrite filename =
  let script = Parse.from_file filename in
  Rewrite.rewrite script