diff options
| author | Gaëtan Gilbert | 2021-04-06 13:26:31 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2021-04-14 12:54:40 +0200 |
| commit | 8df5a37d934b4f862a6183ee451c6bb34ae72d94 (patch) | |
| tree | 55ed37eddbae7e33f9d77c21cf4cdcb2268f1f3c /toplevel | |
| parent | 9f155567b48c1f61eedbe1da0adae74cebd62a8b (diff) | |
Add test for -schedule-vio-checking
Close #14074
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/ccompile.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/ccompile.ml b/toplevel/ccompile.ml index 46651d1d8b..df6f04792e 100644 --- a/toplevel/ccompile.ml +++ b/toplevel/ccompile.ml @@ -223,6 +223,7 @@ let compile_file opts stm_opts copts injections = (* VIO Dispatching *) (******************************************************************************) let check_vio_tasks copts = + Flags.async_proofs_worker_id := "VioChecking"; let rc = List.fold_left (fun acc (n,f) -> let f_in = ensure ".vio" f f in |