diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-15 09:42:25 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-15 09:42:25 +0330 |
| commit | de4da84ca3159ad0ebcf13729716be5f4d7bbc2a (patch) | |
| tree | 216f00007206fdc15dccd3327884b4c0dad94446 /tests/programs/stdio.expected | |
| parent | xref: baseline records the prover's writers of ft_ln (bin, kw_for), xub and x... (diff) | |
std: add std.Io (print, println, nl, put_*, put_f, get_c, eof, read, getline) with test, learn example and docs
Diffstat (limited to 'tests/programs/stdio.expected')
| -rw-r--r-- | tests/programs/stdio.expected | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/programs/stdio.expected b/tests/programs/stdio.expected new file mode 100644 index 0000000..4a7fd8a --- /dev/null +++ b/tests/programs/stdio.expected @@ -0,0 +1,8 @@ +hi -42 2.500000 +line +bytes 0xff s +8 caught 7 +3:abc +3:lon +7 103 +-1 1 |