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--
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_leaks.zc
235
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