Skip to content
KLEE Test

Use a reference for the return value of slurp(file)(). #225

Sign in to view logs

Use a reference for the return value of slurp(file)().

Use a reference for the return value of slurp(file)(). #225

Triggered via pull request December 13, 2023 18:21
@paulhuggettpaulhuggett
opened #51
avoid-slurp-copy
Status Success
Total duration 16m 53s
Artifacts 1

klee.yaml

on: pull_request
klee
16m 44s
klee
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
kout.tgz Expired
29.4 MB