File: mutable_set_v4.expected.32

package info (click to toggle)
ocaml-multicoretests 0.9-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 1,532 kB
  • sloc: ml: 8,904; awk: 66; ansic: 23; makefile: 11; sh: 1
file content (23 lines) | stat: -rw-r--r-- 632 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 

random seed: 229109553

--- Failure --------------------------------------------------------------------

Test STM sequential tests failed (9 shrink steps):

   Add (-923247292)
   Remove (-923247292)
   Cardinal


+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Messages for test STM sequential tests:

  Results incompatible with model

   Add (-923247292) : ()
   Remove (-923247292) : Some (-923247292)
   Cardinal : 1
================================================================================
failure (1 tests failed, 0 tests errored, ran 1 tests)