index
:
moon/zygotec
main
work/b213
work/bench
work/defer
work/prover
work/uninit-locals
work-in-progress programming language.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
conformance
/
6-ownership
Mode
Name
Size
-rw-r--r--
alias_after_free.zc
293
log
plain
blame
-rw-r--r--
alias_before_free_ok.zc
272
log
plain
blame
-rw-r--r--
array_literal_escape_global.zc
211
log
plain
blame
-rw-r--r--
block_value_m_rejected.zc
224
log
plain
blame
-rw-r--r--
block_value_u.zc
184
log
plain
blame
-rw-r--r--
borrow_to_global.zc
181
log
plain
blame
-rw-r--r--
container_child_freed.zc
260
log
plain
blame
-rw-r--r--
copy_owner_rejected.zc
235
log
plain
blame
-rw-r--r--
d_never_given_away.zc
192
log
plain
blame
-rw-r--r--
d_param_transfers.zc
231
log
plain
blame
-rw-r--r--
drop_elements_pop_ok.zc
455
log
plain
blame
-rw-r--r--
drop_ends_in_o3_rejected.zc
290
log
plain
blame
-rw-r--r--
drop_forms.zc
587
log
plain
blame
-rw-r--r--
drop_free_in_o3_rejected.zc
271
log
plain
blame
-rw-r--r--
drop_gc_cycle.zc
733
log
plain
blame
-rw-r--r--
drop_gc_once.zc
572
log
plain
blame
-rw-r--r--
drop_gc_resurrect.zc
665
log
plain
blame
-rw-r--r--
drop_gc_self_capture.zc
445
log
plain
blame
-rw-r--r--
drop_heap_values.zc
477
log
plain
blame
-rw-r--r--
drop_in_o3_rejected.zc
229
log
plain
blame
-rw-r--r--
drop_no_move_out_child.zc
446
log
plain
blame
-rw-r--r--
drop_no_move_out_field.zc
429
log
plain
blame
-rw-r--r--
drop_no_move_out_pop.zc
375
log
plain
blame
-rw-r--r--
drop_parent_before_child.zc
445
log
plain
blame
-rw-r--r--
drop_reassign.zc
927
log
plain
blame
-rw-r--r--
drop_reused_address.zc
817
log
plain
blame
-rw-r--r--
drop_set_late.zc
263
log
plain
blame
-rw-r--r--
drop_set_twice.zc
237
log
plain
blame
-rw-r--r--
drop_temporary_statement.zc
394
log
plain
blame
-rw-r--r--
drop_value_and_type.zc
451
log
plain
blame
-rw-r--r--
free_then_reassign.zc
212
log
plain
blame
-rw-r--r--
fresh_thrown_away.zc
186
log
plain
blame
-rw-r--r--
global_store_needs_recast.zc
180
log
plain
blame
-rw-r--r--
global_store_then_use.zc
215
log
plain
blame
-rw-r--r--
if_join_free_one_branch.zc
264
log
plain
blame
-rw-r--r--
if_join_mismatch.zc
253
log
plain
blame
-rw-r--r--
lend_keeps_owner.zc
203
log
plain
blame
-rw-r--r--
lend_to_global.zc
250
log
plain
blame
-rw-r--r--
lend_to_global_open.zc
195
log
plain
blame
-rw-r--r--
loop_give_away.zc
261
log
plain
blame
-rw-r--r--
loop_give_away_break_ok.zc
197
log
plain
blame
-rw-r--r--
m_freed_at_block_end_report.zc
200
log
plain
blame
-rw-r--r--
never_used.zc
176
log
plain
blame
-rw-r--r--
overwrite_frees.zc
245
log
plain
blame
-rw-r--r--
reassign_moves_inner_owner.zc
307
log
plain
blame
-rw-r--r--
recast_back_to_m.zc
198
log
plain
blame
-rw-r--r--
recast_nothing.zc
210
log
plain
blame
-rw-r--r--
return_owned_infers.zc
204
log
plain
blame
-rw-r--r--
temporary_to_reader.zc
246
log
plain
blame
-rw-r--r--
u_must_leave.zc
193
log
plain
blame
-rw-r--r--
unchecked_no_errors.zc
172
log
plain
blame
-rw-r--r--
use_after_free.zc
200
log
plain
blame