 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
0 |
add_assigns.err.oracle
|
|
- |
rw-r--r-- |
1,098 |
add_assigns.res.oracle
|
|
- |
rw-r--r-- |
0 |
behavior_names.err.oracle
|
|
- |
rw-r--r-- |
180 |
behavior_names.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts0451.err.oracle
|
|
- |
rw-r--r-- |
340 |
bts0451.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts0452.err.oracle
|
|
- |
rw-r--r-- |
341 |
bts0452.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts0489.err.oracle
|
|
- |
rw-r--r-- |
415 |
bts0489.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts0525-2.err.oracle
|
|
- |
rw-r--r-- |
196 |
bts0525-2.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts0525.err.oracle
|
|
- |
rw-r--r-- |
196 |
bts0525.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts0541.err.oracle
|
|
- |
rw-r--r-- |
656 |
bts0541.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts0990_link.err.oracle
|
|
- |
rw-r--r-- |
529 |
bts0990_link.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts1135_ulevel.err.oracle
|
|
- |
rw-r--r-- |
943 |
bts1135_ulevel.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts1201.err.oracle
|
|
- |
rw-r--r-- |
811 |
bts1201.res.oracle
|
|
- |
rw-r--r-- |
0 |
bts1347.err.oracle
|
|
- |
rw-r--r-- |
3,086 |
bts1347.res.oracle
|
|
- |
rw-r--r-- |
0 |
bug0277.err.oracle
|
|
- |
rw-r--r-- |
137 |
bug0277.res.oracle
|
|
- |
rw-r--r-- |
0 |
bug_0209.err.oracle
|
|
- |
rw-r--r-- |
253 |
bug_0209.res.oracle
|
|
- |
rw-r--r-- |
0 |
callsite.err.oracle
|
|
- |
rw-r--r-- |
362 |
callsite.res.oracle
|
|
- |
rw-r--r-- |
0 |
change_formals.0.err.oracle
|
|
- |
rw-r--r-- |
344 |
change_formals.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
change_formals.1.err.oracle
|
|
- |
rw-r--r-- |
300 |
change_formals.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
change_formals.2.err.oracle
|
|
- |
rw-r--r-- |
367 |
change_formals.2.res.oracle
|
|
- |
rw-r--r-- |
0 |
change_main.err.oracle
|
|
- |
rw-r--r-- |
801 |
change_main.res.oracle
|
|
- |
rw-r--r-- |
0 |
char_ampamp.err.oracle
|
|
- |
rw-r--r-- |
1,374 |
char_ampamp.res.oracle
|
|
- |
rw-r--r-- |
0 |
copy_kf.err.oracle
|
|
- |
rw-r--r-- |
2,656 |
copy_kf.res.oracle
|
|
- |
rw-r--r-- |
0 |
copy_machdep.err.oracle
|
|
- |
rw-r--r-- |
230 |
copy_machdep.res.oracle
|
|
- |
rw-r--r-- |
0 |
custom_machdep.err.oracle
|
|
- |
rw-r--r-- |
531 |
custom_machdep.res.oracle
|
|
- |
rw-r--r-- |
0 |
debug_category.0.err.oracle
|
|
- |
rw-r--r-- |
235 |
debug_category.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
debug_category.1.err.oracle
|
|
- |
rw-r--r-- |
360 |
debug_category.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
debug_category.2.err.oracle
|
|
- |
rw-r--r-- |
210 |
debug_category.2.res.oracle
|
|
- |
rw-r--r-- |
0 |
debug_category.3.err.oracle
|
|
- |
rw-r--r-- |
288 |
debug_category.3.res.oracle
|
|
- |
rw-r--r-- |
0 |
debug_category.4.err.oracle
|
|
- |
rw-r--r-- |
288 |
debug_category.4.res.oracle
|
|
- |
rw-r--r-- |
0 |
debug_category.5.err.oracle
|
|
- |
rw-r--r-- |
426 |
debug_category.5.res.oracle
|
|
- |
rw-r--r-- |
0 |
ensures.err.oracle
|
|
- |
rw-r--r-- |
1,512 |
ensures.res.oracle
|
|
- |
rw-r--r-- |
0 |
exception.0.err.oracle
|
|
- |
rw-r--r-- |
2,602 |
exception.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
exception.1.err.oracle
|
|
- |
rw-r--r-- |
5,029 |
exception.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
find_enclosing_loop.err.oracle
|
|
- |
rw-r--r-- |
172 |
find_enclosing_loop.res.oracle
|
|
- |
rw-r--r-- |
0 |
init_from_cil.err.oracle
|
|
- |
rw-r--r-- |
252 |
init_from_cil.res.oracle
|
|
- |
rw-r--r-- |
0 |
issue109.err.oracle
|
|
- |
rw-r--r-- |
1,141 |
issue109.res.oracle
|
|
- |
rw-r--r-- |
0 |
justcopy.err.oracle
|
|
- |
rw-r--r-- |
138 |
justcopy.res.oracle
|
|
- |
rw-r--r-- |
0 |
keep_entry_point.err.oracle
|
|
- |
rw-r--r-- |
355 |
keep_entry_point.res.oracle
|
|
- |
rw-r--r-- |
542 |
log-file-feedback.txt
|
|
- |
rw-r--r-- |
0 |
log-file-kernel-results.txt
|
|
- |
rw-r--r-- |
136 |
log-file-kernel-warnings.txt
|
|
- |
rw-r--r-- |
537 |
log-file-value-all.txt
|
|
- |
rw-r--r-- |
133 |
log-file-value-default.txt
|
|
- |
rw-r--r-- |
0 |
log-file.0.err.oracle
|
|
- |
rw-r--r-- |
1,480 |
log-file.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
log-file.1.err.oracle
|
|
- |
rw-r--r-- |
404 |
log-file.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
log_twice.err.oracle
|
|
- |
rw-r--r-- |
1,811 |
log_twice.res.oracle
|
|
- |
rw-r--r-- |
0 |
long_ident.err.oracle
|
|
- |
rw-r--r-- |
1,047 |
long_ident.res.oracle
|
|
- |
rw-r--r-- |
0 |
m12_2.err.oracle
|
|
- |
rw-r--r-- |
3,067 |
m12_2.res.oracle
|
|
- |
rw-r--r-- |
0 |
mergestruct2.err.oracle
|
|
- |
rw-r--r-- |
587 |
mergestruct2.res.oracle
|
|
- |
rw-r--r-- |
0 |
mergestruct3.0.err.oracle
|
|
- |
rw-r--r-- |
577 |
mergestruct3.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
mergestruct3.1.err.oracle
|
|
- |
rw-r--r-- |
577 |
mergestruct3.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
my_visitor.err.oracle
|
|
- |
rw-r--r-- |
975 |
my_visitor.res.oracle
|
|
- |
rw-r--r-- |
0 |
my_visitor_sav.err
|
|
- |
rw-r--r-- |
1,087 |
my_visitor_sav.res
|
|
- |
rw-r--r-- |
0 |
obfuscate.err.oracle
|
|
- |
rw-r--r-- |
2,146 |
obfuscate.res.oracle
|
|
- |
rw-r--r-- |
404 |
plugin-log-all.txt
|
|
- |
rw-r--r-- |
0 |
remove_status_hyps.err.oracle
|
|
- |
rw-r--r-- |
825 |
remove_status_hyps.res.oracle
|
|
- |
rw-r--r-- |
0 |
save_comments.err.oracle
|
|
- |
rw-r--r-- |
1,146 |
save_comments.res.oracle
|
|
- |
rw-r--r-- |
0 |
vis_spec.err.oracle
|
|
- |
rw-r--r-- |
1,043 |
vis_spec.res.oracle
|
|
- |
rw-r--r-- |
0 |
visitor_creates_func_bts_1349.err.oracle
|
|
- |
rw-r--r-- |
244 |
visitor_creates_func_bts_1349.res.oracle
|
|
- |
rw-r--r-- |
0 |
well_typed_alarm.err.oracle
|
|
- |
rw-r--r-- |
821 |
well_typed_alarm.res.oracle
|
|
- |
rw-r--r-- |
0 |
widen_hints.0.err.oracle
|
|
- |
rw-r--r-- |
698 |
widen_hints.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
widen_hints.1.err.oracle
|
|
- |
rw-r--r-- |
364 |
widen_hints.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
widen_hints.2.err.oracle
|
|
- |
rw-r--r-- |
1,143 |
widen_hints.2.res.oracle
|
|
- |
rw-r--r-- |
0 |
widen_hints.3.err.oracle
|
|
- |
rw-r--r-- |
1,723 |
widen_hints.3.res.oracle
|
|
- |
rw-r--r-- |
0 |
widen_hints2.0.err.oracle
|
|
- |
rw-r--r-- |
4,320 |
widen_hints2.0.res.oracle
|
|
- |
rw-r--r-- |
0 |
widen_hints2.1.err.oracle
|
|
- |
rw-r--r-- |
11,660 |
widen_hints2.1.res.oracle
|
|
- |
rw-r--r-- |
0 |
wstring_phase6.err.oracle
|
|
- |
rw-r--r-- |
534 |
wstring_phase6.res.oracle
|
