Add jmp_spec as an argument to mk_inline_env

[fortunac]

cbat_tools/wp/lib/bap_wp/src/precondition.ml

Lines 544 to 556 in aca7ac6

	let mk_inline_env
	?num_loop_unroll:(num_loop_unroll = !num_unroll)
	?exp_conds:(exp_conds = [])
	?arch:(arch = `x86_64)
	~subs:(subs : Sub.t Seq.t)
	~to_inline:(to_inline : Sub.t Seq.t)
	(ctx : Z3.context)
	(var_gen : Env.var_gen)
	: Env.t =
	let specs = [spec_verifier_error; spec_verifier_assume; spec_verifier_nondet] in
	Env.mk_env ctx var_gen ~specs ~default_spec:(spec_inline to_inline)
	~jmp_spec:jmp_spec_default ~int_spec:int_spec_default ~subs
	~num_loop_unroll ~exp_conds ~arch

Add jmp_spec as an argument to mk_inline_env similarly to how we do in mk_default_env.

[fortunac]

Handled in #85