Eric Mastro 10f4433dbb
hide —simulate-proof-failures behind compile flag
The `--simulate-proof-failures` cli param is now only available when codex is compile using the `-d:codex_enable_proof_failures` flag.
2023-06-19 14:09:33 +02:00
..
2023-03-10 08:02:54 +01:00
2023-03-10 08:02:54 +01:00
2023-03-10 08:02:54 +01:00
2023-06-19 14:09:33 +02:00
2023-06-19 14:09:32 +02:00
2023-04-19 15:06:00 +02:00
2022-11-15 09:46:21 -06:00
2023-03-10 08:02:54 +01:00
2022-11-15 09:46:21 -06:00
2023-04-19 15:06:00 +02:00
2023-06-19 08:21:03 +02:00
2022-05-19 13:56:03 -06:00
2023-06-19 14:09:32 +02:00
2022-12-02 18:00:55 -06:00
2023-05-01 16:23:26 +02:00
2023-04-19 15:06:00 +02:00
2023-04-19 15:06:00 +02:00
2023-04-19 15:06:00 +02:00
2023-03-08 16:04:54 +01:00
2022-06-14 09:19:35 -06:00
2023-03-08 16:04:54 +01:00