Code

Add Out_channel STM tests#431

Code

Merged

jmid merged 53 commits intomainocaml-multicore/multicoretests:mainfrom io-stm-testsocaml-multicore/multicoretests:io-stm-testsCopy head branch name to clipboardJan 23, 2024

+368-76

Commits

Commits on Jan 23, 2024

• Initial STM tests of Out_channel

  jmid

  committed
  71083dd

  Copy full SHA for 71083dd

• More Out_channel STM hacking

  jmid

  committed
  5e3f2e8

  Copy full SHA for 5e3f2e8

• Update positions accordingly

  jmid

  committed
  72a5458

  Copy full SHA for 72a5458

• Length before flushing may not be up-to-date

  jmid

  committed
  fc97895

  Copy full SHA for fc97895

• Whitespace/comment polish

  jmid

  committed
  46774d6

  Copy full SHA for 46774d6

• Add Seek cmd

  jmid

  committed
  894c643

  Copy full SHA for 894c643

• Add close_noerr cmd

  jmid

  committed
  c3677ad

  Copy full SHA for c3677ad

• Add output_byte cmd

  jmid

  committed
  04a0f95

  Copy full SHA for 04a0f95

• Add output_bytes cmd

  jmid

  committed
  c69ec6d

  Copy full SHA for c69ec6d

• Add output cmd

  jmid

  committed
  f4aede1

  Copy full SHA for f4aede1

• Add output_substring cmd

  jmid

  committed
  f89ee56

  Copy full SHA for f89ee56

• Adjust weights

  jmid

  committed
  a90cd18

  Copy full SHA for a90cd18

• Clean up next_state

  jmid

  committed
  bfa89df

  Copy full SHA for bfa89df

• Remove dead code

  jmid

  committed
  1bbef88

  Copy full SHA for 1bbef88

• More code clean-ups

  jmid

  committed
  76ca5f7

  Copy full SHA for 76ca5f7

• Add initial is_buffered cmd

  jmid

  committed
  b67b560

  Copy full SHA for b67b560

• Add set_buffered cmd

  jmid

  committed
  172130a

  Copy full SHA for 172130a

• Add set_binary_mode cmd

  jmid

  committed
  5deb8b1

  Copy full SHA for 5deb8b1

• Adjust output{_char,_string,_bytes,,_substring} to reflect nl translation on MinGW+Cygwin

  jmid

  committed
  8799ba6

  Copy full SHA for 8799ba6

• Adjust translation on MinGW+Cygwin to change length, not position - also add output_byte

  jmid

  committed
  44c16de

  Copy full SHA for 44c16de

• Flush before changing binary mode on Windows, for output to reflect prev mode

  jmid

  committed
  32fd287

  Copy full SHA for 32fd287

• Remove Lin Out_channel tests

  jmid

  committed
  bc1bee4

  Copy full SHA for bc1bee4

• Remove unused argument to Closed

  jmid

  committed
  75447d6

  Copy full SHA for 75447d6

• Rename prefix lin-dsl- to stm-

  jmid

  committed
  ae8a0aa

  Copy full SHA for ae8a0aa

• Document the reason for Length result/model mismatch

  jmid

  committed
  181a99c

  Copy full SHA for 181a99c

• Factor out windows text-mode test

  jmid

  committed
  1dbafd5

  Copy full SHA for 1dbafd5

• Clean-up old comments

  jmid

  committed
  5d3b2c9

  Copy full SHA for 5d3b2c9

• Wrap close_noerr in protect

  jmid

  committed
  6597741

  Copy full SHA for 6597741

• Support generating Close* cmds in state Closed

  jmid

  committed
  298bdea

  Copy full SHA for 298bdea

• Start in open channel to avoid Stdlib.stdout special cases

  jmid

  committed
  497975e

  Copy full SHA for 497975e

• Allow Length in Closed state

  jmid

  committed
  df35b3c

  Copy full SHA for df35b3c

• Allow Seek in Closed state

  jmid

  committed
  a7b427f

  Copy full SHA for a7b427f

• Allow Pos in Closed state

  jmid

  committed
  c6e6d04

  Copy full SHA for c6e6d04

• Allow Flush in Closed state

  jmid

  committed
  066025a

  Copy full SHA for 066025a

• Allow Output_char in Closed state

  jmid

  committed
  a047e3d

  Copy full SHA for a047e3d

• Allow Output_byte in Closed state

  jmid

  committed
  41be61b

  Copy full SHA for 41be61b

• Allow Output_string in Closed state

  jmid

  committed
  192a3d0

  Copy full SHA for 192a3d0

• Bend the spec for Output_string in Closed state to match reality

  jmid

  committed
  f4bfced

  Copy full SHA for f4bfced

• Allow Output_bytes in Closed state

  jmid

  committed
  474c25d

  Copy full SHA for 474c25d

• Bend the spec for Output_bytes in Closed state to match reality

  jmid

  committed
  378725b

  Copy full SHA for 378725b

• Allow Output in Closed state

  jmid

  committed
  805a634

  Copy full SHA for 805a634

• Bend the spec for Output in Closed state to match reality

  jmid

  committed
  12a3e80

  Copy full SHA for 12a3e80

• Allow Output_substring in Closed state

  jmid

  committed
  41fdf08

  Copy full SHA for 41fdf08

• Allow Set_binary_mode in Closed state

  jmid

  committed
  8e1ec3b

  Copy full SHA for 8e1ec3b

• Allow Set_buffered in Closed state

  jmid

  committed
  1adfd60

  Copy full SHA for 1adfd60

• Allow Is_buffered in Closed state

  jmid

  committed
  9500753

  Copy full SHA for 9500753

• Adjust frequencies in Closed state

  jmid

  committed
  a11d754

  Copy full SHA for a11d754

• Simplify precond

  jmid

  committed
  544d564

  Copy full SHA for 544d564

• Adjust Open_text postcond

  jmid

  committed
  15d6225

  Copy full SHA for 15d6225

• Fix indentation

  jmid

  committed
  1b76830

  Copy full SHA for 1b76830

• Sharpen the relaxed spec to only accept length 0 output w/o erroring on state Closed

  jmid

  committed
  bacb33e

  Copy full SHA for bacb33e

• Small indentation fix

  jmid

  committed
  2abefbd

  Copy full SHA for 2abefbd

• Temporarily accept Ok on a closed Out_channel

  jmid

  committed
  86f2ab2

  Copy full SHA for 86f2ab2