Build:
- 0
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817592023-06-06 08:56.08: New job: test macos-arm64/arm64/5.2/fa1c8e0deabcd8265405c3f1c798bdd245f98c71 2023-06-06 08:56.08: Using cache hint "macos-arm64/arm64/5.2/fa1c8e0deabcd8265405c3f1c798bdd245f98c71" 2023-06-06 08:56.08: Using OBuilder spec: ((from macos-homebrew-ocaml-5.2) (env QCHECK_MSG_INTERVAL 60) (user (uid 1000) (gid 1000)) (run (shell "ln -f ~/local/bin/opam-2.1 ~/local/bin/opam && opam init --reinit -ni")) (run (network host) (shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default")) (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam) (dst ./src/)) (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam pin --no-action qcheck-multicoretests-util.dev ./src/ && opam pin --no-action qcheck-lin.dev ./src/ && opam pin --no-action qcheck-stm.dev ./src/ && opam pin --no-action multicoretests.dev ./src/")) (env CI true) (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./src/")) (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam install ./src/")) (copy (src .) (dst ./src)) (run (shell "cd ./src && eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet")) ) 2023-06-06 08:56.08: Waiting for resource in pool OCluster 2023-06-06 08:56.08: Waiting for worker… 2023-06-06 09:27.33: Got resource from pool OCluster Building on m1-worker-03 HEAD is now at 6a549cd Merge pull request #357 from shym/cygonly HEAD is now at fa1c8e0 Update CHANGES with #324 Print commands with uncaught exceptions (from macos-homebrew-ocaml-5.2) 2023-06-06 09:27.35 ---> using "9b46fe3d2429f2b9195a02468cb57ac45cfa11fb4a87cb32b5e5375232223327" from cache /: (env QCHECK_MSG_INTERVAL 60) /: (user (uid 1000) (gid 1000)) /: (run (shell "ln -f ~/local/bin/opam-2.1 ~/local/bin/opam && opam init --reinit -ni")) No configuration file found, using built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] no changes from git+file:///Users/mac1000/opam-repository 2023-06-06 09:27.35 ---> using "ebe0ebe8e1e120a5bfd72fa981507a798805a1dd027863230928d81fefda3d1b" from cache /: (run (network host) (shell "opam repository add override https://github.com/shym/custom-opam-repository.git --all-switches --set-default")) [override] Initialised 2023-06-06 09:27.35 ---> using "2f0cbb6513b206f795fb86081bcb3a04287dadd6483c8a712a89d5d0f2b5b2d0" from cache /: (copy (src multicoretests.opam qcheck-lin.opam qcheck-multicoretests-util.opam qcheck-stm.opam) (dst ./src/)) 2023-06-06 09:27.35 ---> using "8aac82799e6da30e859e4788f365cb9d39fa59958150a260eee5c6410e56b891" from cache /: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam pin --no-action qcheck-multicoretests-util.dev ./src/ && opam pin --no-action qcheck-lin.dev ./src/ && opam pin --no-action qcheck-stm.dev ./src/ && opam pin --no-action multicoretests.dev ./src/")) [qcheck-multicoretests-util.dev] synchronised (file:///Users/mac1000/src) qcheck-multicoretests-util is now pinned to file:///Users/mac1000/src (version dev) [qcheck-lin.dev] synchronised (file:///Users/mac1000/src) qcheck-lin is now pinned to file:///Users/mac1000/src (version dev) [qcheck-stm.dev] synchronised (file:///Users/mac1000/src) qcheck-stm is now pinned to file:///Users/mac1000/src (version dev) Package multicoretests does not exist, create as a NEW package? [Y/n] y [multicoretests.dev] synchronised (file:///Users/mac1000/src) multicoretests is now pinned to file:///Users/mac1000/src (version dev) 2023-06-06 09:27.35 ---> using "ed4d5add87174a0d9711a574d9212fd61d17c11064ad571e1cb522c70c8841ac" from cache /: (env CI true) /: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y ./src/")) + /opt/homebrew/bin/brew "update" - Already up-to-date. [multicoretests.dev] synchronised (no changes) [qcheck-lin.dev] synchronised (no changes) [qcheck-multicoretests-util.dev] synchronised (no changes) [qcheck-stm.dev] synchronised (no changes) 2023-06-06 09:27.35 ---> using "a50725a9b66d3bf2041d852d777604bfeecda455c727e4d86c74c10e18dcd135" from cache /: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam install ./src/")) [multicoretests.dev] synchronised (no changes) [qcheck-multicoretests-util.dev] synchronised (no changes) [qcheck-lin.dev] synchronised (no changes) [qcheck-stm.dev] synchronised (no changes) The following actions will be performed: - install dune 3.7.1 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm] - install ocamlfind 1.9.5 [required by base-bytes] - install base-bytes base [required by qcheck-core] - install qcheck-core 0.20 [required by qcheck-multicoretests-util, multicoretests, qcheck-lin, qcheck-stm] - install qcheck-multicoretests-util dev* - install qcheck-stm dev* - install qcheck-lin dev* - install multicoretests dev* ===== 8 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved multicoretests.dev (file:///Users/mac1000/src) -> retrieved qcheck-core.0.20 (cached) -> retrieved ocamlfind.1.9.5 (cached) -> retrieved qcheck-multicoretests-util.dev (file:///Users/mac1000/src) -> retrieved qcheck-lin.dev (file:///Users/mac1000/src) -> retrieved dune.3.7.1 (cached) -> retrieved qcheck-stm.dev (file:///Users/mac1000/src) -> installed ocamlfind.1.9.5 -> installed base-bytes.base -> installed dune.3.7.1 -> installed qcheck-core.0.20 -> installed qcheck-multicoretests-util.dev -> installed qcheck-lin.dev -> installed qcheck-stm.dev -> installed multicoretests.dev Done. # Run eval $(opam env) to update the current shell environment 2023-06-06 09:27.35 ---> using "165423d1690f4a2a07489330e071c7e63b5e384e04d17aa728fef5f469399454" from cache /: (copy (src .) (dst ./src)) 2023-06-06 09:27.40 ---> saved as "98f87209efeeeeda453525cdae4c5670d1a9ada3c515458aaddc2584bfcc341d" /: (run (shell "cd ./src && eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet")) Skipping src/array/lin_tests.exe from the test suite Skipping src/atomic/lin_tests.exe from the test suite Skipping src/bigarray/stm_tests.exe from the test suite Skipping src/hashtbl/lin_tests.exe from the test suite Skipping src/lazy/lin_tests.exe from the test suite Skipping src/queue/lin_tests.exe from the test suite Skipping src/stack/lin_tests.exe from the test suite Skipping src/lazy/lin_tests_dsl.exe from the test suite Skipping src/neg_tests/lin_tests_dsl_thread.exe from the test suite Skipping src/io/lin_tests.exe from the test suite Skipping src/neg_tests/lin_tests_domain.exe from the test suite Skipping src/neg_tests/lin_tests_effect.exe from the test suite Skipping src/io/lin_tests_dsl_thread.exe from the test suite random seed: 69649228 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Array test sequential [ ] 0 0 0 0 / 1000 0.0s STM Array test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.2s STM Array test sequential [ ] 0 0 0 0 / 1000 0.0s STM Array test parallel [✓] 1 0 1 0 / 1000 3.4s STM Array test parallel --- Info ----------------------------------------------------------------------- Negative test STM Array test parallel failed as expected (19 shrink steps): | Set (2, '"') | .---------------------. | | Sort Mem 'G' To_list +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Array test parallel: Results incompatible with linearized model | Set (2, '"') : Ok (()) | .-------------------------------------------------------------------------------------------. | | Sort : () Mem 'G' : false To_list : ['a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'] ================================================================================ success (ran 2 tests) random seed: 366442369 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin DSL Array test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin DSL Array test with Domain (generating) [✓] 1 0 1 0 / 1000 4.8s Lin DSL Array test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin DSL Array test with Domain failed as expected (53 shrink steps): | Array.fill t 0 1 '`' | .---------------------. | | Array.sort t Array.to_seq t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin DSL Array test with Domain: Results incompatible with sequential execution | Array.fill t 0 1 '`' : Ok (()) | .--------------------------------------------------------------------------------------------------. | | Array.sort t : () Array.to_seq t : <'`'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'; '`'; 'a'; 'a'> ================================================================================ success (ran 1 tests) random seed: 349799202 generated error fail pass / total time test name [ ] 0 0 0 0 / 500 0.0s Mash up of threads and domains [ ] 0 0 0 0 / 500 0.0s Mash up of threads and domains (generating) [ ] 115 0 0 115 / 500 60.2s Mash up of threads and domains [ ] 231 0 0 231 / 500 121.5s Mash up of threads and domains [ ] 350 0 0 350 / 500 181.8s Mash up of threads and domains [ ] 479 0 0 479 / 500 242.0s Mash up of threads and domains [✓] 500 0 0 500 / 500 250.7s Mash up of threads and domains ================================================================================ success (ran 1 tests) random seed: 520894034 generated error fail pass / total time test name [ ] 0 0 0 0 / 100 0.0s Thread.create/join - tak work [ ] 0 0 0 0 / 100 0.0s Thread.create/join - tak work (generating) [✓] 100 0 0 100 / 100 32.2s Thread.create/join - tak work [ ] 0 0 0 0 / 500 0.0s Thread.create/join - atomic [✓] 500 0 0 500 / 500 1.3s Thread.create/join - atomic ================================================================================ success (ran 2 tests) random seed: 74263591 generated error fail pass / total time test name [ ] 0 0 0 0 / 100 0.0s Domain.spawn/join - tak work [ ] 0 0 0 0 / 100 0.0s Domain.spawn/join - tak work (generating) [✓] 100 0 0 100 / 100 7.1s Domain.spawn/join - tak work [ ] 0 0 0 0 / 500 0.0s Domain.spawn/join - atomic [✓] 500 0 0 500 / 500 25.8s Domain.spawn/join - atomic ================================================================================ success (ran 2 tests) random seed: 255765522 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s thread_createtree - with Atomic [ ] 0 0 0 0 / 1000 0.0s thread_createtree - with Atomic (generating) [✓] 1000 0 0 1000 / 1000 0.7s thread_createtree - with Atomic ================================================================================ success (ran 1 tests) random seed: 497112373 generated error fail pass / total time test name [ ] 0 0 0 0 / 100 0.0s domain_spawntree - with Atomic [ ] 0 0 0 0 / 100 0.0s domain_spawntree - with Atomic (generating) [✓] 100 0 0 100 / 100 1.3s domain_spawntree - with Atomic ================================================================================ success (ran 1 tests) random seed: 381722471 generated error fail pass / total time test name [ ] 0 0 0 0 / 250 0.0s STM Atomic test sequential [ ] 0 0 0 0 / 250 0.0s STM Atomic test sequential (generating) [✓] 250 0 0 250 / 250 0.0s STM Atomic test sequential [ ] 0 0 0 0 / 250 0.0s STM Atomic test parallel [✓] 250 0 0 250 / 250 2.9s STM Atomic test parallel ================================================================================ success (ran 2 tests) random seed: 64167973 generated error fail pass / total time test name [ ] 0 0 0 0 / 200 0.0s STM Hashtbl test sequential [ ] 0 0 0 0 / 200 0.0s STM Hashtbl test sequential (generating) [✓] 200 0 0 200 / 200 0.0s STM Hashtbl test sequential [ ] 0 0 0 0 / 200 0.0s STM Hashtbl test parallel [✓] 5 0 1 4 / 200 2.6s STM Hashtbl test parallel --- Info ----------------------------------------------------------------------- Negative test STM Hashtbl test parallel failed as expected (28 shrink steps): | Add ('J', 91) | .---------------------. | | Clear Add ('[', 67) Find '[' Length +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Hashtbl test parallel: Results incompatible with linearized model | Add ('J', 91) : () | .------------------------------------. | | Clear : () Add ('[', 67) : () Find '[' : Error (Not_found) Length : 1 ================================================================================ success (ran 2 tests) random seed: 478757341 generated error fail pass / total time test name [ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential [ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential (generating) [✓] 200 0 0 200 / 200 1.3s STM Lazy test sequential [ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_val [✓] 200 0 0 200 / 200 0.1s STM Lazy test sequential from_val [ ] 0 0 0 0 / 200 0.0s STM Lazy test sequential from_fun [✓] 200 0 0 200 / 200 1.3s STM Lazy test sequential from_fun [ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel [✓] 9 0 1 8 / 200 26.8s STM Lazy test parallel [ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_val [✓] 200 0 0 200 / 200 2.2s STM Lazy test parallel from_val [ ] 0 0 0 0 / 200 0.0s STM Lazy test parallel from_fun [✓] 9 0 1 8 / 200 26.8s STM Lazy test parallel from_fun --- Info ----------------------------------------------------------------------- Negative test STM Lazy test parallel failed as expected (6 shrink steps): | | .-----------------------------. | | Map_val ({700 -> 8; _ -> 5}) Force_val +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Lazy test parallel: Results incompatible with linearized model | | .------------------------------------------------------------------. | | Map_val ({700 -> 8; _ -> 5}) : Error (CamlinternalLazy.Undefined) Force_val : Ok (700) --- Info ----------------------------------------------------------------------- Negative test STM Lazy test parallel from_fun failed as expected (6 shrink steps): | | .-----------------------------. | | Map_val ({700 -> 8; _ -> 5}) Force_val +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Lazy test parallel from_fun: Results incompatible with linearized model | | .------------------------------------------------------------------. | | Map_val ({700 -> 8; _ -> 5}) : Error (CamlinternalLazy.Undefined) Force_val : Ok (700) ================================================================================ success (ran 6 tests) random seed: 85678958 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Buffer test sequential [ ] 0 0 0 0 / 1000 0.0s STM Buffer test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.2s STM Buffer test sequential [ ] 0 0 0 0 / 1000 0.0s STM Buffer test parallel [✓] 4 0 1 2 / 1000 2.1s STM Buffer test parallel --- Info ----------------------------------------------------------------------- Negative test STM Buffer test parallel failed as expected (31 shrink steps): | Add_bytes "\236\226\147\158p/\172\021\225\131l\249c\251k\195\145\231Z6;{\155Sbv\183IGN\246\196\231<i\141f\192\210\181\209\211\217\224\159Pp\027\169\171\178Z\182\199\027\219\133w!8e\242J\006\190\190\\x\236\158\212\230}" | .---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------. | | Reset Add_char '\026' Length +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Buffer test parallel: Results incompatible with linearized model | Add_bytes "\236\226\147\158p/\172\021\225\131l\249c\251k\195\145\231Z6;{\155Sbv\183IGN\246\196\231<i\141f\192\210\181\209\211\217\224\159Pp\027\169\171\178Z\182\199\027\219\133w!8e\242J\006\190\190\\x\236\158\212\230}" : Ok (()) | .-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------. | | Reset : Ok (()) Add_char '\026' : Ok (()) Length : 74 ================================================================================ success (ran 2 tests) random seed: 135742028 generated error fail pass / total time test name [ ] 0 0 0 0 / 200 0.0s STM Semaphore.Counting test sequential [ ] 0 0 0 0 / 200 0.0s STM Semaphore.Counting test sequential (generating) [✓] 200 0 0 200 / 200 0.0s STM Semaphore.Counting test sequential [ ] 0 0 0 0 / 200 0.0s STM Semaphore.Counting test parallel [✓] 446 0 0 200 / 200 2.3s STM Semaphore.Counting test parallel ================================================================================ success (ran 2 tests) random seed: 306002888 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Sys test sequential [ ] 0 0 0 0 / 1000 0.0s STM Sys test sequential (generating) [✓] 1000 0 0 1000 / 1000 11.5s STM Sys test sequential [ ] 0 0 0 0 / 1000 0.0s STM Sys test parallel [ ] 169 0 0 169 / 1000 48.8s STM Sys test parallel [ ] 376 0 0 376 / 1000 108.9s STM Sys test parallel [ ] 581 0 0 581 / 1000 169.1s STM Sys test parallel [ ] 792 0 0 792 / 1000 229.3s STM Sys test parallel [ ] 997 0 0 997 / 1000 289.4s STM Sys test parallel [✗] 1000 0 0 1000 / 1000 290.5s STM Sys test parallel --- Failure -------------------------------------------------------------------- Test STM Sys test parallel failed: Negative test STM Sys test parallel succeeded but was expected to fail ================================================================================ failure (1 tests failed, 0 tests errored, ran 2 tests) File "src/sys/dune", line 4, characters 7-16: 4 | (name stm_tests) ^^^^^^^^^ (cd _build/default/src/sys && ./stm_tests.exe --verbose) Command exited with code 1. random seed: 328937520 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Bytes test sequential [ ] 0 0 0 0 / 1000 0.0s STM Bytes test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.1s STM Bytes test sequential [ ] 0 0 0 0 / 1000 0.0s STM Bytes test parallel [✓] 4 0 1 3 / 1000 0.5s STM Bytes test parallel --- Info ----------------------------------------------------------------------- Negative test STM Bytes test parallel failed as expected (10 shrink steps): | | .---------------------. | | Fill (3, 7, 'w') To_seq +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Bytes test parallel: Results incompatible with linearized model | | .------------------------------------------------------------------------------------------. | | Fill (3, 7, 'w') : Ok (()) To_seq : ['a'; 'a'; 'a'; 'a'; 'a'; 'w'; 'w'; 'w'; 'w'; 'w'; 'a'; 'a'; 'a'; 'a'; 'a'; 'a'] ================================================================================ success (ran 2 tests) random seed: 258549512 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test sequential [ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.1s STM Ephemeron test sequential [ ] 0 0 0 0 / 1000 0.0s STM Ephemeron test parallel [✓] 5 0 1 4 / 1000 2.4s STM Ephemeron test parallel --- Info ----------------------------------------------------------------------- Negative test STM Ephemeron test parallel failed as expected (13 shrink steps): | Clear | .----------------------------------. | | Add ('!', "8E<d&9fu,AO0{n+^P>:P") Find_opt 'S' Mem '!' Find_all 'S' Replace ('!', "(\\xG") Find_all 'u' Find_opt 'g' Find '+' Remove 'R' Mem 'e' Length Clear Length Clean +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Ephemeron test parallel: Results incompatible with linearized model | Clear : () | .---------------------------------------. | | Add ('!', "8E<d&9fu,AO0{n+^P>:P") : () Find_opt 'S' : None Mem '!' : true Find_all 'S' : [] Replace ('!', "(\\xG") : () Find_all 'u' : [] Find_opt 'g' : None Find '+' : Error (Not_found) Remove 'R' : () Mem 'e' : false Length : 2 Clear : () Length : 1 Clean : () ================================================================================ success (ran 2 tests) random seed: 95604038 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Float Array test sequential [ ] 0 0 0 0 / 1000 0.0s STM Float Array test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.2s STM Float Array test sequential [ ] 0 0 0 0 / 1000 0.0s STM Float Array test parallel [✓] 1 0 1 0 / 1000 3.4s STM Float Array test parallel --- Info ----------------------------------------------------------------------- Negative test STM Float Array test parallel failed as expected (36 shrink steps): | | .-----------------------------. | | To_seq Fill (11, 4, -1391160.80878) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM Float Array test parallel: Results incompatible with linearized model | | .--------------------------------------------------------------------------------------------------. | | To_seq : [1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; 1.; -1391160.80878; -1391160.80878; 1.] Fill (11, 4, -1391160.80878) : Ok (()) ================================================================================ success (ran 2 tests) random seed: 223794378 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Weak test sequential [ ] 0 0 0 0 / 1000 0.0s STM Weak test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.2s STM Weak test sequential ================================================================================ success (ran 1 tests) random seed: 129494325 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM Weak HashSet test sequential [ ] 0 0 0 0 / 1000 0.0s STM Weak HashSet test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.2s STM Weak HashSet test sequential ================================================================================ success (ran 1 tests) random seed: 172874199 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin DSL Atomic test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin DSL Atomic test with Domain (generating) [✓] 1000 0 0 1000 / 1000 14.6s Lin DSL Atomic test with Domain ================================================================================ success (ran 1 tests) random seed: 36524835 generated error fail pass / total time test name [ ] 0 0 0 0 / 5000 0.0s Lin DSL Bigarray.Array1 (of ints) test with Domain [ ] 0 0 0 0 / 5000 0.0s Lin DSL Bigarray.Array1 (of ints) test with Domain (generating) [✓] 24 0 1 23 / 5000 2.8s Lin DSL Bigarray.Array1 (of ints) test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin DSL Bigarray.Array1 (of ints) test with Domain failed as expected (14 shrink steps): | Bigarray.Array1.set t 1 8 | .--------------------------------. | | Bigarray.Array1.fill t 8 Bigarray.Array1.fill t 5 Bigarray.Array1.get t 9 Bigarray.Array1.get t 5 Bigarray.Array1.get t 0 Bigarray.Array1.size_in_bytes t Bigarray.Array1.set t 2 7 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin DSL Bigarray.Array1 (of ints) test with Domain: Results incompatible with sequential execution | Bigarray.Array1.set t 1 8 : Ok (()) | .--------------------------------------. | | Bigarray.Array1.fill t 8 : () Bigarray.Array1.fill t 5 : () Bigarray.Array1.get t 9 : Ok (8) Bigarray.Array1.get t 5 : Ok (5) Bigarray.Array1.get t 0 : Ok (5) Bigarray.Array1.size_in_bytes t : 128 Bigarray.Array1.set t 2 7 : Ok (()) ================================================================================ success (ran 1 tests) random seed: 355832650 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin DSL Hashtbl test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin DSL Hashtbl test with Domain (generating) [✓] 3 0 1 2 / 1000 7.7s Lin DSL Hashtbl test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin DSL Hashtbl test with Domain failed as expected (52 shrink steps): | Hashtbl.add t 'a' 0 | .------------------------. | | Hashtbl.replace t '`' 0 Hashtbl.clear t Hashtbl.length t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin DSL Hashtbl test with Domain: Results incompatible with sequential execution | Hashtbl.add t 'a' 0 : () | .------------------------------------. | | Hashtbl.replace t '`' 0 : () Hashtbl.clear t : () Hashtbl.length t : 2 ================================================================================ success (ran 1 tests) random seed: 360482902 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin DSL Queue test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin DSL Queue test with Domain (generating) [✓] 1 0 1 0 / 1000 2.4s Lin DSL Queue test with Domain [ ] 0 0 0 0 / 250 0.0s Lin DSL Queue test with Thread [✓] 250 0 0 250 / 250 1.8s Lin DSL Queue test with Thread --- Info ----------------------------------------------------------------------- Negative test Lin DSL Queue test with Domain failed as expected (22 shrink steps): | | .---------------------. | | Queue.add 1 t Queue.add 0 t Queue.take t Queue.peek t Queue.clear t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin DSL Queue test with Domain: Results incompatible with sequential execution | | .------------------------------------------. | | Queue.add 1 t : () Queue.add 0 t : () Queue.take t : Ok (1) Queue.peek t : Error (Stdlib.Queue.Empty) Queue.clear t : () ================================================================================ success (ran 2 tests) random seed: 65033319 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin DSL Float.Array test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin DSL Float.Array test with Domain (generating) [✓] 2 0 1 1 / 1000 2.0s Lin DSL Float.Array test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin DSL Float.Array test with Domain failed as expected (32 shrink steps): | Float.Array.set t 4 -7.14575117785e-07 | .---------------------------------------. | | Float.Array.stable_sort t Float.Array.to_list t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin DSL Float.Array test with Domain: Results incompatible with sequential execution | Float.Array.set t 4 -7.14575117785e-07 : Ok (()) | .-------------------------------------------------------------------------------------------------------------------------. | | Float.Array.stable_sort t : () Float.Array.to_list t : [0.; 0.; 0.; 0.; -7.14575117785e-07; 0.; 0.; 0.; 0.; 0.; 0.; 0.; -7.14575117785e-07; 0.; 0.; 0.] ================================================================================ success (ran 1 tests) random seed: 312116157 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin DSL Weak test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin DSL Weak test with Domain (generating) [✓] 112 0 1 111 / 1000 11.8s Lin DSL Weak test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin DSL Weak test with Domain failed as expected (32 shrink steps): | | .--------------------------. | | Weak.fill t 0 6 Some (90) Weak.fill t 2 4 Some (8) Weak.get_copy t 2 Weak.get_copy t 3 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin DSL Weak test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | Weak.fill t 0 6 Some (90) : Ok (()) Weak.fill t 2 4 Some (8) : Ok (()) Weak.get_copy t 2 : Ok (Some (8)) Weak.get_copy t 3 : Ok (Some (90)) ================================================================================ success (ran 1 tests) random seed: 145966740 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin DSL Weak HashSet test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin DSL Weak HashSet test with Domain (generating) [ ] 12 0 0 12 / 1000 60.1s Lin DSL Weak HashSet test with Domain (shrinking: 44.0095) [✓] 13 0 1 12 / 1000 84.5s Lin DSL Weak HashSet test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin DSL Weak HashSet test with Domain failed as expected (44 shrink steps): | Weak.S.count t Weak.S.clear t | .------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------. | | Weak.S.merge t "\221\031Cg" Weak.S.find t "\241\217B\219\\U4\160KqJ&\"\196fAx\030\006kC|\242\023`\185e\186\005(\2129\239\174\247\177\004\1556b\162\171\168\242\183&\129N\242\175\248j5\157\216\209\240\020\025" Weak.S.find_opt t "\190\194\179^\151" Weak.S.merge t "\"dl\142\020\022\246r\239" +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin DSL Weak HashSet test with Domain: Results incompatible with sequential execution | Weak.S.count t : 0 Weak.S.clear t : () | .--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------. | | Weak.S.merge t "\221\031Cg" : Ok ("\221\031Cg") Weak.S.find t "\241\217B\219\\U4\160KqJ&\"\196fAx\030\006kC|\242\023`\185e\186\005(\2129\239\174\247\177\004\1556b\162\171\168\242\183&\129N\242\175\248j5\157\216\209\240\020\025" : Error (Not_found) Weak.S.find_opt t "\190\194\179^\151" : Ok (None) Weak.S.merge t "\"dl\142\020\022\246r\239" : Error (Invalid_argument("index out of bounds")) ================================================================================ success (ran 1 tests) random seed: 63889962 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin DSL Stack test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin DSL Stack test with Domain (generating) [✓] 1 0 1 0 / 1000 2.3s Lin DSL Stack test with Domain [ ] 0 0 0 0 / 250 0.0s Lin DSL Stack test with Thread [✓] 250 0 0 250 / 250 1.9s Lin DSL Stack test with Thread --- Info ----------------------------------------------------------------------- Negative test Lin DSL Stack test with Domain failed as expected (33 shrink steps): | Stack.push 0 t | .---------------------. | | Stack.pop_opt t Stack.pop_opt t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin DSL Stack test with Domain: Results incompatible with sequential execution | Stack.push 0 t : () | .------------------------------------. | | Stack.pop_opt t : Some (0) Stack.pop_opt t : Some (0) ================================================================================ success (ran 2 tests) random seed: 14674895 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin DSL Bytes test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin DSL Bytes test with Domain (generating) [✓] 1000 0 0 1000 / 1000 13.8s Lin DSL Bytes test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin DSL Bytes test with Thread [✓] 1000 0 0 1000 / 1000 7.4s Lin DSL Bytes test with Thread ================================================================================ success (ran 2 tests) random seed: 41982627 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin DSL Ephemeron test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin DSL Ephemeron test with Domain (generating) [✓] 50 0 1 49 / 1000 6.1s Lin DSL Ephemeron test with Domain [ ] 0 0 0 0 / 250 0.0s Lin DSL Ephemeron test with Thread [✓] 250 0 0 250 / 250 5.5s Lin DSL Ephemeron test with Thread --- Info ----------------------------------------------------------------------- Negative test Lin DSL Ephemeron test with Domain failed as expected (24 shrink steps): | Ephemeron.replace t 0 "" | .-------------------------. | | Ephemeron.clean t Ephemeron.clear t Ephemeron.find_all t 0 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin DSL Ephemeron test with Domain: Results incompatible with sequential execution | Ephemeron.replace t 0 "" : () | .------------------------------------. | | Ephemeron.clean t : () Ephemeron.clear t : () Ephemeron.find_all t 0 : [""] ================================================================================ success (ran 2 tests) random seed: 45684349 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM int ref test sequential [ ] 0 0 0 0 / 1000 0.0s STM int ref test sequential (generating) [✓] 1000 0 0 1000 / 1000 0.1s STM int ref test sequential [ ] 0 0 0 0 / 1000 0.0s STM int64 ref test sequential [✓] 1000 0 0 1000 / 1000 0.1s STM int64 ref test sequential ================================================================================ success (ran 2 tests) random seed: 387505685 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM int ref test parallel [ ] 0 0 0 0 / 1000 0.0s STM int ref test parallel (generating) [✓] 2 0 1 1 / 1000 3.9s STM int ref test parallel [ ] 0 0 0 0 / 1000 0.0s STM int64 ref test parallel [✓] 2 0 1 1 / 1000 2.2s STM int64 ref test parallel [ ] 0 0 0 0 / 2000 0.0s STM int ref test parallel asymmetric [ ] 1 0 0 1 / 2000 54.1s STM int ref test parallel asymmetric (shrinking: 9.0020) [✓] 2 0 1 1 / 2000 66.5s STM int ref test parallel asymmetric [ ] 0 0 0 0 / 2000 0.0s STM int64 ref test parallel asymmetric [✓] 334 0 1 333 / 2000 5.2s STM int64 ref test parallel asymmetric --- Info ----------------------------------------------------------------------- Negative test STM int ref test parallel failed as expected (39 shrink steps): | | .---------------------. | | Incr Add 2 Get Get +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int ref test parallel: Results incompatible with linearized model | | .------------------------------------. | | Incr : () Add 2 : () Get : 2 Get : 1 --- Info ----------------------------------------------------------------------- Negative test STM int64 ref test parallel failed as expected (39 shrink steps): | | .---------------------. | | Incr Add 9L Get +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 ref test parallel: Results incompatible with linearized model | | .------------------------------------. | | Incr : () Add 9L : () Get : 1 --- Info ----------------------------------------------------------------------- Negative test STM int ref test parallel asymmetric failed as expected (9 shrink steps): | Get Set 3 Decr Incr Set 449 Get Get Decr Add 2 Add 3 Set 51 Add 83 Get Incr Get | .---------------------. | | Get Incr Set 89 Set 0 Set 0 Add 6 Add 42 Incr Incr Add 48 Add 5 Set 6680 Get Decr Incr Get Incr Add 9 Get Get Get Get +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int ref test parallel asymmetric: Results incompatible with linearized model: | Get : 0 Set 3 : () Decr : () Incr : () Set 449 : () Get : 449 Get : 449 Decr : () Add 2 : () Add 3 : () Set 51 : () Add 83 : () Get : 134 Incr : () Get : 135 | .------------------------------------. | | Get : 136 Incr : () Set 89 : () Set 0 : () Set 0 : () Add 6 : () Add 42 : () Incr : () Incr : () Add 48 : () Add 5 : () Set 6680 : () Get : 48 Decr : () Incr : () Get : 6679 Incr : () Add 9 : () Get : 53 Get : 51 Get : 53 Get : 53 --- Info ----------------------------------------------------------------------- Negative test STM int64 ref test parallel asymmetric failed as expected (4 shrink steps): | Set 5L Add 8L Decr | .---------------------. | | Decr Decr Add 355L Get Decr Set 8L Decr Add 347L Set 245L Incr Decr Set 8L Add 673L Get Get +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 ref test parallel asymmetric: Results incompatible with linearized model: | Set 5L : () Add 8L : () Decr : () | .------------------------------------. | | Decr : () Decr : () Add 355L : () Get : 11 Decr : () Set 8L : () Decr : () Add 347L : () Set 245L : () Incr : () Decr : () Set 8L : () Add 673L : () Get : 1027 Get : 1027 ================================================================================ success (ran 4 tests) random seed: 191534168 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s STM int CList test sequential [ ] 0 0 0 0 / 1000 0.0s STM int CList test sequential (generating) [✓] 1000 0 0 1000 / 1000 2.9s STM int CList test sequential [ ] 0 0 0 0 / 1000 0.0s STM int64 CList test sequential [✓] 1000 0 0 1000 / 1000 3.7s STM int64 CList test sequential [ ] 0 0 0 0 / 1000 0.0s STM int CList test parallel [✓] 4 0 1 3 / 1000 1.6s STM int CList test parallel [ ] 0 0 0 0 / 1000 0.0s STM int64 CList test parallel [✓] 4 0 1 3 / 1000 1.5s STM int64 CList test parallel --- Info ----------------------------------------------------------------------- Negative test STM int CList test parallel failed as expected (24 shrink steps): | | .---------------------. | | Add_node (3) Add_node (51) Member (51) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int CList test parallel: Results incompatible with linearized model | | .------------------------------------. | | Add_node (3) : true Add_node (51) : true Member (51) : false --- Info ----------------------------------------------------------------------- Negative test STM int64 CList test parallel failed as expected (24 shrink steps): | | .---------------------. | | Add_node (3) Add_node (51) Member (51) +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 CList test parallel: Results incompatible with linearized model | | .------------------------------------. | | Add_node (3) : true Add_node (51) : true Member (51) : false ================================================================================ success (ran 4 tests) random seed: 319470194 generated error fail pass / total time test name [ ] 0 0 0 0 / 10000 0.0s Lin DSL ref int test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin DSL ref int test with Domain (generating) [✓] 3 0 1 2 / 10000 3.7s Lin DSL ref int test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin DSL ref int64 test with Domain [✓] 3 0 1 2 / 10000 1.1s Lin DSL ref int64 test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin DSL CList int test with Domain [✓] 10 0 1 9 / 10000 4.3s Lin DSL CList int test with Domain [ ] 0 0 0 0 / 10000 0.0s Lin DSL CList int64 test with Domain [✓] 11 0 1 10 / 10000 3.5s Lin DSL CList int64 test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin DSL ref int test with Domain failed as expected (44 shrink steps): | | .---------------------. | | Sut_int.add t 0 Sut_int.set t 1 Sut_int.get t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin DSL ref int test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | Sut_int.add t 0 : () Sut_int.set t 1 : () Sut_int.get t : 0 --- Info ----------------------------------------------------------------------- Negative test Lin DSL ref int64 test with Domain failed as expected (35 shrink steps): | | .---------------------. | | Sut_int64.add t 27 Sut_int64.add t 8 Sut_int64.get t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin DSL ref int64 test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | Sut_int64.add t 27 : () Sut_int64.add t 8 : () Sut_int64.get t : 27 --- Info ----------------------------------------------------------------------- Negative test Lin DSL CList int test with Domain failed as expected (30 shrink steps): | | .---------------------. | | CList.add_node t 0 CList.add_node t 8 CList.member t 8 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin DSL CList int test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | CList.add_node t 0 : true CList.add_node t 8 : true CList.member t 8 : false --- Info ----------------------------------------------------------------------- Negative test Lin DSL CList int64 test with Domain failed as expected (34 shrink steps): | | .---------------------. | | CList.add_node t 76 CList.add_node t 7 CList.member t 7 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin DSL CList int64 test with Domain: Results incompatible with sequential execution | | .------------------------------------. | | CList.add_node t 76 : true CList.add_node t 7 : true CList.member t 7 : false ================================================================================ success (ran 4 tests) Lin DSL Out_channel test with Domain disabled under macOS random seed: 373737469 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin DSL In_channel test with Domain [ ] 0 0 0 0 / 1000 0.0s Lin DSL In_channel test with Domain (generating) [✓] 34 0 1 33 / 1000 11.0s Lin DSL In_channel test with Domain --- Info ----------------------------------------------------------------------- Negative test Lin DSL In_channel test with Domain failed as expected (21 shrink steps): | In_channel.input_line t In_channel.input_char t In_channel.input_line t In_channel.set_binary_mode t false | .-----------------------------------. | | In_channel.seek t 73 In_channel.input_line t +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin DSL In_channel test with Domain: Results incompatible with sequential execution | In_channel.input_line t : Ok (Some ("\207\250\237\254\012\000\000\001\000\000\000\000\002\000\000\000\018\000\000\000\232\006\000\000\133\128\161\000\000\000\000\000\025\000\000\000H\000\000\000__PAGEZERO\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\025\000\000\000(\002\000\000__TEXT\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\192\018\000\000\000\000\000\000\000\000\000\000\000\000\000\000\192\018\000\000\000\000\000\005\000\000\000\005\000\000\000\006\000\000\000\000\000\000\000__text\000\000\000\000\000\000\000\000\000\000__TEXT\000\000\000\000\000\000\000\000\000\000\152 \000\000\001\000\000\000XX\015\000\000\000\000\000\152 \000\000\003\000\000\000\000\000\000\000\000\000\000\000\000\004\000\128\000\000\000\000\000\000\000\000\000\000\000\000__stubs\000\000\000\000\000\000\000\000\000__TEXT\000\000\000\000\000\000\000\000\000\000\240x\015\000\001\000\000\000\236")) In_channel.input_char t : Ok (Some ('\000')) In_channel.input_line t : Ok (Some ("\000\000\000\000\000\240x\015\000\002\000\000\000\000\000\000\000\000\000\000\000\b\004\000\128\000\000\000\000\012\000\000\000\000\000\000\000__const\000\000\000\000\000\000\000\000\000__TEXT\000\000\000\000\000\000\000\000\000\000\224\131\015\000\001\000\000\000\128\020\000\000\000\000\000\000\224\131\015\000\004\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000__cstring\000\000\000\000\000\000\000__TEXT\000\000\000\000\000\000\000\000\000\000`\152\015\000\001\000\000\000b*\000\000\000\000\000\000`\152\015\000\000\000\000\000\000\000\000\000\000\000\000\000\002\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000__unwind_info\000\000\000__TEXT\000\000\000\000\000\000\000\000\000\000\196\194\015\000\001\000\000\000\128\136\000\000\000\000\000\000\196\194\015\000\002\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000__eh_frame\000\000\000\000\000\000__TEXT\000\000\000\000\000\000\000\000\000\000HK\016\000\001\000\000\000\180t\002\000\000\000\000\000HK\016\000\003\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\025\000\000\000\232\000\000\000__DATA_CONST\000\000\000\000\000\192\018\000\001\000\000\000\000@\000\000\000\000\000\000\000\192\018\000\000\000\000\000\000@\000\000\000\000\000\000\003\000\000\000\003\000\000\000\002\000\000\000\016\000\000\000__got\000\000\000\000\000\000\000\000\000\000\000__DATA_CONST\000\000\000\000\000\192\018\000\001\000\000\000h\007\000\000\000\000\000\000\000\192\018\000\003\000\000\000\000\000\000\000\000\000\000\000\006\000\000\000\233\000\000\000\000\000\000\000\000\000\000\000__const\000\000\000\000\000\000\000\000\000__DATA_CONST\000\000\000\000h\199\018\000\001\000\000\000\192\001\000\000\000\000\000\000h\199\018\000\003\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\025\000\000\000\216\001\000\000__DATA\000\000\000\000\000\000\000\000\000\000\000\000\019\000\001\000\000\000\000\128\t\000\000\000\000\000\000\000\019\000\000\000\000\000\000\128\b\000\000\000\000\000\003\000\000\000\003\000\000\000\005\000\000\000\000\000\000\000__data\000\000\000\000\000\000\000\000\000\000__DATA\000\000\000\000\000\000\000\000\000\000\000\000\019\000\001\000\000\000\224c\b\000\000\000\000\000\000\000\019\000\004\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000__thread_vars\000\000\000__DATA\000\000\000\000\000\000\000\000\000\000\224c\027\000\001\000\000\000H\000\000\000\000\000\000\000\224c\027\000\003\000\000\000\000\000\000\000\000\000\000\000\019\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000__thread_bss\000\000\000\000__DATA\000\000\000\000\000\000\000\000\000\000(d\027\000\001\000\000\000\024\000\000\000\000\000\000\000\000\000\000\000\003\000\000\000\000\000\000\000\000\000\000\000\018\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000__common\000\000\000\000\000\000\000\000__DATA\000\000\000\000\000\000\000\000\000\000@d\027\000\001\000\000\000\176\002\000\000\000\000\000\000\000\000\000\000\003\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000__bss\000\000\000\000\000\000\000\000\000\000\000__DATA\000\000\000\000\000\000\000\000\000\000\240f\027\000\001\000\000\000P\224\000\000\000\000\000\000\000\000\000\000\003\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\025\000\000\000H\000\000\000__LINKEDIT\000\000\000\000\000\000\000\128\028\000\001\000\000\000\000\192\011\000\000\000\000\000\000\128\027\000\000\000\000\000\021\173\011\000\000\000\000\000\001\000\000\000\001\000\000\000\000\000\000\000\000\000\000\0004\000\000\128\016\000\000\000\000\128\027\000\128\014\000\0003\000\000\128\016\000\000\000\128\142\027\000\232\128\002\000\002\000\000\000\024\000\000\000p-\030\000J@\000\000h9\"\000`\165\004\000\011\000\000\000P\000\000\000\000\000\000\000\005\023\000\000\005\023\000\000W(\000\000\\?\000\000\238\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0162\"\000\214\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\014\000\000\000 \000\000\000\012\000\000\000/usr/lib/dyld\000\000\000\000\000\000\000\027\000\000\000\024\000\000\000\175B")) In_channel.set_binary_mode t false : Ok (()) | .-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------. | | In_channel.seek t 73 : Ok (()) In_channel.input_line t : Ok (Some ("\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\025\000\000\000(\002\000\000__TEXT\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\192\018\000\000\000\000\000\000\000\000\000\000\000\000\000\000\192\018\000\000\000\000\000\005\000\000\000\005\000\000\000\006\000\000\000\000\000\000\000__text\000\000\000\000\000\000\000\000\000\000__TEXT\000\000\000\000\000\000\000\000\000\000\152 \000\000\001\000\000\000XX\015\000\000\000\000\000\152 \000\000\003\000\000\000\000\000\000\000\000\000\000\000\000\004\000\128\000\000\000\000\000\000\000\000\000\000\000\000__stubs\000\000\000\000\000\000\000\000\000__TEXT\000\000\000\000\000\000\000\000\000\000\240x\015\000\001\000\000\000\236\n\000\000\000\000\000\000\240x\015\000\002\000\000\000\000\000\000\000\000\000\000\000\b\004\000\128\000\000\000\000\012\000\000\000\000\000\000\000__const\000\000\000\000\000\000\000\000\000__TEXT\000\000\000\000\000\000\000\000\000\000\224\131\015\000\001\000\000\000\128\020\000\000\000\000\000\000\224\131\015\000\004\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000__cstring\000\000\000\000\000\000\000__TEXT\000\000\000\000\000\000\000\000\000\000`\152\015\000\001\000\000\000b*\000\000\000\000\000\000`\152\015\000\000\000\000\000\000\000\000\000\000\000\000\000\002\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000__unwind_info\000\000\000__TEXT\000\000\000\000\000\000\000\000\000\000\196\194\015\000\001\000\000\000\128\136\000\000\000\000\000\000\196\194\015\000\002\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000__eh_frame\000\000\000\000\000\000__TEXT\000\000\000\000\000\000\000\000\000\000HK\016\000\001\000\000\000\180t\002\000\000\000\000\000HK\016\000\003\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\025\000\000\000\232\000\000\000__DATA_CONST\000\000\000\000\000\192\018\000\001\000\000\000\000@\000\000\000\000\000\000\000\192\018\000\000\000\000\000\000@\000\000\000\000\000\000\003\000\000\000\003\000\000\000\002\000\000\000\016\000\000\000__got\000\000\000\000\000\000\000\000\000\000\000__DATA_CONST\000\000\000\000\000\192\018\000\001\000\000\000h\007\000\000\000\000\000\000\000\192\018\000\003\000\000\000\000\000\000\000\000\000\000\000\006\000\000\000\233\000\000\000\000\000\000\000\000\000\000\000__const\000\000\000\000\000\000\000\000\000__DATA_CONST\000\000\000\000h\199\018\000\001\000\000\000\192\001\000\000\000\000\000\000h\199\018\000\003\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\025\000\000\000\216\001\000\000__DATA\000\000\000\000\000\000\000\000\000\000\000\000\019\000\001\000\000\000\000\128\t\000\000\000\000\000\000\000\019\000\000\000\000\000\000\128\b\000\000\000\000\000\003\000\000\000\003\000\000\000\005\000\000\000\000\000\000\000__data\000\000\000\000\000\000\000\000\000\000__DATA\000\000\000\000\000\000\000\000\000\000\000\000\019\000\001\000\000\000\224c\b\000\000\000\000\000\000\000\019\000\004\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000__thread_vars\000\000\000__DATA\000\000\000\000\000\000\000\000\000\000\224c\027\000\001\000\000\000H\000\000\000\000\000\000\000\224c\027\000\003\000\000\000\000\000\000\000\000\000\000\000\019\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000__thread_bss\000\000\000\000__DATA\000\000\000\000\000\000\000\000\000\000(d\027\000\001\000\000\000\024\000\000\000\000\000\000\000\000\000\000\000\003\000\000\000\000\000\000\000\000\000\000\000\018\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000__common\000\000\000\000\000\000\000\000__DATA\000\000\000\000\000\000\000\000\000\000@d\027\000\001\000\000\000\176\002\000\000\000\000\000\000\000\000\000\000\003\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000__bss\000\000\000\000\000\000\000\000\000\000\000__DATA\000\000\000\000\000\000\000\000\000\000\240f\027\000\001\000\000\000P\224\000\000\000\000\000\000\000\000\000\000\003\000\000\000\000\000\000\000\000\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\025\000\000\000H\000\000\000__LINKEDIT\000\000\000\000\000\000\000\128\028\000\001\000\000\000\000\192\011\000\000\000\000\000\000\128\027\000\000\000\000\000\021\173\011\000\000\000\000\000\001\000\000\000\001\000\000\000\000\000\000\000\000\000\000\0004\000\000\128\016\000\000\000\000\128\027\000\128\014\000\0003\000\000\128\016\000\000\000\128\142\027\000\232\128\002\000\002\000\000\000\024\000\000\000p-\030\000J@\000\000h9\"\000`\165\004\000\011\000\000\000P\000\000\000\000\000\000\000\005\023\000\000\005\023\000\000W(\000\000\\?\000\000\238\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\0162\"\000\214\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\014\000\000\000 \000\000\000\012\000\000\000/usr/lib/dyld\000\000\000\000\000\000\000\027\000\000\000\024\000\000\000\175B\nv\184I9|\177\248D&7w1\0292\000\000\000 \000\000\000\001\000\000\000\000\000\r\000\000\001\r\000\001\000\000\000\003\000\000\000\000\0014\003*\000\000\000\016\000\000\000\000\000\000\000\000\000\000\000(\000\000\128\024\000\000\000\024`\014\000\000\000\000\000\000\000\000\000\000\000\000\000\012\000\000\0008\000\000\000\024\000\000\000\002\000\000\000\000\000'\005\000\000\001\000/usr/lib/libSystem.B.dylib\000\000\000\000\000\000&\000\000\000\016\000\000\000h\015\030\000\b\030\000\000)\000\000\000\016\000\000\000p-\030\000\000\000\000\000\029\000\000\000\016\000\000\000\208\222&\000EN\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) ================================================================================ success (ran 1 tests) random seed: 342983977 generated error fail pass / total time test name [ ] 0 0 0 0 / 250 0.0s STM int ref test with Thread [ ] 0 0 0 0 / 250 0.0s STM int ref test with Thread (generating) [✓] 250 0 0 250 / 250 2.7s STM int ref test with Thread [ ] 0 0 0 0 / 1000 0.0s STM int64 ref test with Thread [✓] 34 0 1 33 / 1000 6.5s STM int64 ref test with Thread --- Info ----------------------------------------------------------------------- Negative test STM int64 ref test with Thread failed as expected (2 shrink steps): | Incr Decr Decr Add 1L Set 5L Decr Decr Decr Set 9L Get Add 8L Add 0L Decr Add 7L | .---------------------. | | Set 7L Get Incr Get Decr Get Incr Add 5L Get Set 964L Incr Add 2L Get Get Set 749L Decr Decr Add 66L Add 1L Incr +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test STM int64 ref test with Thread: Results incompatible with linearized model | Incr : () Decr : () Decr : () Add 1L : () Set 5L : () Decr : () Decr : () Decr : () Set 9L : () Get : 9 Add 8L : () Add 0L : () Decr : () Add 7L : () | .------------------------------------. | | Set 7L : () Get : 23 Incr : () Get : 7 Decr : () Get : 8 Incr : () Add 5L : () Get : 12 Set 964L : () Incr : () Add 2L : () Get : 967 Get : 967 Set 749L : () Decr : () Decr : () Add 66L : () Add 1L : () Incr : () ================================================================================ success (ran 2 tests) random seed: 29938298 generated error fail pass / total time test name [ ] 0 0 0 0 / 20000 0.0s Lin DSL ref int test with Effect [ ] 0 0 0 0 / 20000 0.0s Lin DSL ref int test with Effect (generating) [✓] 20000 0 0 20000 / 20000 0.2s Lin DSL ref int test with Effect [ ] 0 0 0 0 / 20000 0.0s Lin DSL ref int64 test with Effect [✓] 20000 0 0 20000 / 20000 0.2s Lin DSL ref int64 test with Effect [ ] 0 0 0 0 / 20000 0.0s Lin DSL CList int test with Effect [✓] 20000 0 0 20000 / 20000 0.2s Lin DSL CList int test with Effect [ ] 0 0 0 0 / 20000 0.0s Lin DSL CList int64 test with Effect [✓] 20000 0 0 20000 / 20000 0.3s Lin DSL CList int64 test with Effect [ ] 0 0 0 0 / 20000 0.0s negative Lin DSL ref int test with Effect [✓] 1 0 1 0 / 20000 0.0s negative Lin DSL ref int test with Effect [ ] 0 0 0 0 / 20000 0.0s negative Lin DSL ref int64 test with Effect [✓] 1 0 1 0 / 20000 0.0s negative Lin DSL ref int64 test with Effect [ ] 0 0 0 0 / 20000 0.0s negative Lin DSL CList int test with Effect [✓] 1 0 1 0 / 20000 0.0s negative Lin DSL CList int test with Effect [ ] 0 0 0 0 / 20000 0.0s negative Lin DSL CList int64 test with Effect [✓] 1 0 1 0 / 20000 0.0s negative Lin DSL CList int64 test with Effect --- Info ----------------------------------------------------------------------- Negative test negative Lin DSL ref int test with Effect failed as expected (109 shrink steps): | | .---------------------. | | Sut_int'.add t 0 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test negative Lin DSL ref int test with Effect: Results incompatible with linearized model | | .------------------------------------. | | Sut_int'.add t 0 : Ok (()) --- Info ----------------------------------------------------------------------- Negative test negative Lin DSL ref int64 test with Effect failed as expected (110 shrink steps): | | .---------------------. | | Sut_int64'.add t 0 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test negative Lin DSL ref int64 test with Effect: Results incompatible with linearized model | | .------------------------------------. | | Sut_int64'.add t 0 : Ok (()) --- Info ----------------------------------------------------------------------- Negative test negative Lin DSL CList int test with Effect failed as expected (107 shrink steps): | | .---------------------. | | CList.add_node t 0 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test negative Lin DSL CList int test with Effect: Results incompatible with linearized model | | .------------------------------------. | | CList.add_node t 0 : Ok (true) --- Info ----------------------------------------------------------------------- Negative test negative Lin DSL CList int64 test with Effect failed as expected (110 shrink steps): | | .---------------------. | | CList.add_node t 0 +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test negative Lin DSL CList int64 test with Effect: Results incompatible with linearized model | | .------------------------------------. | | CList.add_node t 0 : Ok (true) ================================================================================ success (ran 8 tests) random seed: 156626397 generated error fail pass / total time test name [ ] 0 0 0 0 / 100 0.0s negative Lin DSL Dynlink test with Domain [ ] 0 0 0 0 / 100 0.0s negative Lin DSL Dynlink test with Domain (generating) [✓] 1 0 1 0 / 100 2.1s negative Lin DSL Dynlink test with Domain --- Info ----------------------------------------------------------------------- Negative test negative Lin DSL Dynlink test with Domain failed as expected (0 shrink steps): | Dynlink.main_program_units () Dynlink.main_program_units () Dynlink.main_program_units () Dynlink.main_program_units () Dynlink.main_program_units () Dynlink.loadfile libB.cmxs Dynlink.loadfile libA.cmxs Dynlink.loadfile libA.cmxs Dynlink.loadfile libA.cmxs Dynlink.loadfile libA.cmxs Dynlink.main_program_units () Dynlink.main_program_units () Dynlink.loadfile libB.cmxs | .------------------------------. | | Dynlink.main_program_units () Dynlink.main_program_units () Dynlink.loadfile libC.cmxs Dynlink.main_program_units () Dynlink.all_units () Dynlink.loadfile libC.cmxs +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test negative Lin DSL Dynlink test with Domain: Results incompatible with sequential execution | Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libB.cmxs : Ok (()) Dynlink.loadfile libA.cmxs : Ok (()) Dynlink.loadfile libA.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA")) Dynlink.loadfile libA.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA")) Dynlink.loadfile libA.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibA")) Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libB.cmxs : Error (Dynlink.Error (Dynlink.Module_already_loaded "LibB")) | .------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------. | | Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libC.cmxs : Error (Dynlink.Error (Dynlink.Cannot_open_dll Failure("dlopen(/Users/mac1000/src/_build/default/src/dynlink/libC.cmxs, 0x000A): tried: '/Users/mac1000/src/_build/default/src/dynlink/libC.cmxs' (no such file), '/System/Volumes/Preboot/Cryptexes/OS/Users/mac1000/src/_build/default/src/dynlink/libC.cmxs' (no such file), '/Users/mac1000/src/_build/default/src/dynlink/libC.cmxs' (no such file)"))) Dynlink.main_program_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.all_units () : ["CamlinternalFormat"; "CamlinternalFormatBasics"; "CamlinternalLazy"; "CamlinternalOO"; "Dune__exe__Lin_tests_dsl"; "Dynlink"; "Dynlink_common"; "Dynlink_compilerlibs"; "Dynlink_types"; "LibA"; "LibB"; "Lin"; "Lin_domain"; "QCheck"; "QCheck2"; "QCheck_base_runner"; "Std_exit"; "Stdlib"; "Stdlib__Arg"; "Stdlib__Array"; "Stdlib__Atomic"; "Stdlib__Bigarray"; "Stdlib__Bool"; "Stdlib__Buffer"; "Stdlib__Bytes"; "Stdlib__Callback"; "Stdlib__Char"; "Stdlib__Condition"; "Stdlib__Digest"; "Stdlib__Domain"; "Stdlib__Filename"; "Stdlib__Float"; "Stdlib__Format"; "Stdlib__Fun"; "Stdlib__Gc"; "Stdlib__Hashtbl"; "Stdlib__Int"; "Stdlib__Int32"; "Stdlib__Int64"; "Stdlib__Lazy"; "Stdlib__Lexing"; "Stdlib__List"; "Stdlib__Map"; "Stdlib__Marshal"; "Stdlib__Mutex"; "Stdlib__Nativeint"; "Stdlib__Obj"; "Stdlib__Option"; "Stdlib__Parsing"; "Stdlib__Printexc"; "Stdlib__Printf"; "Stdlib__Queue"; "Stdlib__Random"; "Stdlib__Result"; "Stdlib__Seq"; "Stdlib__Set"; "Stdlib__Stack"; "Stdlib__String"; "Stdlib__Sys"; "Stdlib__Uchar"; "Stdlib__Unit"; "Unix"; "UnixLabels"; "Util"] Dynlink.loadfile libC.cmxs : Error (Dynlink.Error (Dynlink.Cannot_open_dll Failure("dlopen(/Users/mac1000/src/_build/default/src/dynlink/libC.cmxs, 0x000A): tried: '/Users/mac1000/src/_build/default/src/dynlink/libC.cmxs' (no such file), '/System/Volumes/Preboot/Cryptexes/OS/Users/mac1000/src/_build/default/src/dynlink/libC.cmxs' (no such file), '/Users/mac1000/src/_build/default/src/dynlink/libC.cmxs' (no such file)"))) ================================================================================ success (ran 1 tests) random seed: 415640971 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin ref int test with Thread [ ] 0 0 0 0 / 1000 0.0s Lin ref int test with Thread (generating) [✓] 1000 0 0 1000 / 1000 7.4s Lin ref int test with Thread [ ] 0 0 0 0 / 15000 0.0s Lin ref int64 test with Thread [✓] 212 0 1 211 / 15000 18.5s Lin ref int64 test with Thread --- Info ----------------------------------------------------------------------- Negative test Lin ref int64 test with Thread failed as expected (15 shrink steps): | Get Set 4364L Set 1L Add 4826L Incr Get Incr Decr Decr Add 651L Incr | .---------------------. | | Add 676L Set 4L Add 732L Get Set 7L Add 0L Add 49L Get +++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Messages for test Lin ref int64 test with Thread: Results incompatible with sequential execution | Get : RGet 0L Set 4364L : RSet Set 1L : RSet Add 4826L : RAdd Incr : RIncr Get : RGet 4828L Incr : RIncr Decr : RDecr Decr : RDecr Add 651L : RAdd Incr : RIncr | .------------------------------------. | | Add 676L : RAdd Set 4L : RSet Add 732L : RAdd Get : RGet 680L Set 7L : RSet Add 0L : RAdd Add 49L : RAdd Get : RGet 1461L ================================================================================ success (ran 2 tests) random seed: 50260588 generated error fail pass / total time test name [ ] 0 0 0 0 / 1000 0.0s Lin CList int test with Thread [ ] 0 0 0 0 / 1000 0.0s Lin CList int test with Thread (generating) [✓] 1000 0 0 1000 / 1000 7.4s Lin CList int test with Thread [ ] 0 0 0 0 / 1000 0.0s Lin CList int64 test with Thread [✓] 1000 0 0 1000 / 1000 8.0s Lin CList int64 test with Thread ================================================================================ success (ran 2 tests) STM ensure cleanup: sequential test OK STM ensure cleanup: parallel test OK "/bin/bash" "-c" "cd ./src && eval $(opam env) && dune build && dune runtest -j1 --no-buffer --display=quiet" failed with exit status 1 2023-06-06 09:45.17: Job failed: Failed: Build failed