Global directives are ignored in extra drivers
In Driver.load_prover_raw
, when parsing the extra drivers, only the theory_rules
fields is actually used. Is there a reason why a user shouldn't be allowed to add things to the global prelude? The use case I have in mind is changing some options of CVC5 via the set-option
smtlib command.