/tests/programs/
../
actor.zc
alias.zc
allocfast.zc
annotate.expected
annotate.zc
arena.zc
args.zc
array_values.expected
array_values.zc
arrays.zc
backtick.zc
bareexit.zc
bareio.zc
basics.zc
bench.zc
bench_bytes.zc
bench_share.zc
bench_strings.zc
bitops.expected
bitops.zc
borrow_rules.expected
borrow_rules.zc
borrowmove.zc
borrows_clause.zc
bounds.zc
bounds_body.zc
bounds_fixed.zc
bounds_heap.zc
bounds_hi.zc
bounds_hoist.zc
bounds_lo.zc
bounds_proof.zc
bounds_prover.expected
bounds_prover.zc
bounds_ptr.zc
boundsrules.zc
bstr_io.zc
buddy.zc
bytes.zc
cabi.expected
cabi.zc
cabi_o3.expected
cabi_o3.zc
cabi_sized.expected
cabi_sized.zc
capture.zc
capture_long.zc
closure.zc
closure_result.zc
const_local.zc
csyn.zc
decl_undefined.zc
defer.zc
discard_m.zc
doublefree.zc
embed.zc
embed_local_array.zc
embed_top.zc
enh_ops.expected
enh_ops.zc
enhance.zc
enumscope.zc
enumtype.zc
exactsize.zc
explain_checks.expected
explain_checks.zc
explain_prover.expected
explain_prover.zc
f32.expected
f32.zc
f32o3.zc
fbench.zc
file_drop.zc
float.zc
fo3.zc
forward_borrow.zc
ftext.zc
ftruth.zc
ftype.zc
gc.zc
generics.expected
generics.zc
genmeth.expected
genmeth.zc
global_transfer.zc
growheap.zc
growone.zc
infer_return.zc
interior.zc
joins.zc
manyerrors.zc
memdebug_interior.expected
memdebug_interior.zc
memleak.zc
memory_bounds.zc
meta.zc
methodown.zc
misc.zc
names.zc
o3.zc
o3_bounds.zc
o3_freelist.zc
o3bytes.zc
o3call.zc
o3copy.zc
o3deep.zc
o3deep_over.zc
o3direct.expected
o3direct.zc
o3fat.zc
o3licm.zc
o3push.expected
o3push.zc
o3scopes.zc
o3zero.zc
overflow_data.zc
overflow_frame.zc
overflow_return.zc
ownmove.zc
packedfields.expected
packedfields.zc
parity_ops.zc
precedence.zc
quarantine.zc
rawpid.zc
rawsys.zc
recycle.zc
replace_owner.expected
replace_owner.zc
roots.zc
scrub.zc
share.zc
share_dbg.zc
sized.expected
sized.zc
sizedvec.expected
sizedvec.zc
static.zc
stdbuf.zc
stdio.expected
stdio.zc
stdmore.zc
strings.zc
struct_const.zc
struct_static_call.zc
structret.zc
structval.zc
sys.zc
tagenum.zc
tagenum_two.zc
tagenum_warn.zc
temporary_borrows.expected
temporary_borrows.zc
trace.expected
trace.zc
trace_jit.expected
trace_jit.zc
trace_more.expected
trace_more.zc
trace_run.zc
typedef.zc
typedmethods.zc
typeoff.zc
typeok.zc
types.zc
uaf.zc
uaf_in.zc
umd.zc
undefined_call.zc
use_std.zc
void_main.zc
wide.zc
zc0bstr.zc
zc0embed_write.zc
zc0plain.zc
zc0typed.zc
zc0umd.zc
zc0unbounded.zc