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
/
8-runtime
Mode
Name
Size
-rw-r--r--
div_by_zero_no_trap.zc
188
log
plain
blame
-rw-r--r--
error_line_format.zc
149
log
plain
blame
-rw-r--r--
errors_do_not_run.zc
196
log
plain
blame
-rw-r--r--
exact_size_bounds.zc
2423
log
plain
blame
-rw-r--r--
get_c_reads_input.zc
212
log
plain
blame
-rw-r--r--
halt_stops.zc
133
log
plain
blame
-rw-r--r--
index_out_of_range.zc
211
log
plain
blame
-rw-r--r--
len_w_eq_w.zc
161
log
plain
blame
-rw-r--r--
new_too_big_traps.zc
291
log
plain
blame
-rw-r--r--
new_zero_index_traps.zc
246
log
plain
blame
-rw-r--r--
new_zeroed.zc
151
log
plain
blame
-rw-r--r--
no_main_runs_nothing.zc
133
log
plain
blame
-rw-r--r--
o3_no_gc_inside.zc
959
log
plain
blame
-rw-r--r--
pointer_index_n_minus_1.zc
307
log
plain
blame
-rw-r--r--
pointer_index_n_traps.zc
344
log
plain
blame
-rw-r--r--
pointer_index_n_traps_memdebug.zc
357
log
plain
blame
-rw-r--r--
put_c_low_bits.zc
137
log
plain
blame
-rw-r--r--
put_n_min.zc
157
log
plain
blame
-rw-r--r--
put_s_bstr.zc
153
log
plain
blame
-rw-r--r--
put_s_word_string.zc
141
log
plain
blame
-rw-r--r--
stale_index_after_free_memdebug.zc
580
log
plain
blame
-rw-r--r--
stale_index_after_free_traps.zc
589
log
plain
blame
-rw-r--r--
too_many_errors.zc
570
log
plain
blame
