First draft of parallel state machines #72
Draft
IOG Hydra / ci/hydra-build:x86_64-darwin.ghc8107.checks.quickcheck-dynamic:test:quickcheck-dynamic-test
timed out
Apr 2, 2024 in 1h 0m 3s
Build timed out
2 failed steps
Details
Failed Steps
Step 2
Derivation
/nix/store/d1lscqjjwvqcf7i2hahniq70dksj8p8w-quickcheck-dynamic-test-quickcheck-dynamic-test-3.4.1-check.drv
Log
unpacking sources
unpacking source archive /nix/store/rkw3d01908rx6ngxjqdng37dl4kkzbf1-source-root-quickcheck-dynamic-test-quickcheck-dynamic-test-root
source root is source-root-quickcheck-dynamic-test-quickcheck-dynamic-test-root
patching sources
building
/nix/store/a6k46ksy5bicm70q5v946dq9ympmi7ky-quickcheck-dynamic-test-quickcheck-dynamic-test-3.4.1/bin:
patching script interpreter paths in /private/tmp/nix-build-quickcheck-dynamic-test-quickcheck-dynamic-test-3.4.1-check.drv-0/tmp.3MkGPTUjM5/bin
dynamic logic
registry model example
prop_Registry: OK (0.20s)
+++ OK, passed 100 tests.
Action polarity (2150 in total):
82.28% +
17.72% -
Actions (2150 in total):
36.60% +WhereIs
19.86% +Spawn
15.67% -Register
13.30% +Register
6.51% +Unregister
6.00% +KillThread
2.05% -Unregister
Reason for -Register (337 in total):
37.1% tid already registered
36.8% dead thread
13.1% name already registered
8.0% name already registered tid already registered
5.0% name already registered dead thread
Registry size (2150 in total):
40.60% 1
25.91% 0
23.44% 2
8.37% 3
1.53% 4
0.14% 5
canRegister: OK (0.26s)
+++ OK, passed 100 tests.
Action polarity (2732 in total):
82.83% +
17.17% -
Actions (2732 in total):
35.91% +WhereIs
18.12% +Spawn
16.33% +Register
15.41% -Register
7.21% +Unregister
5.27% +KillThread
1.76% -Unregister
Reason for -Register (421 in total):
42.0% dead thread
32.8% tid already registered
10.7% name already registered
9.7% name already registered tid already registered
4.8% name already registered dead thread
Registry size (2732 in total):
35.98% 1
25.62% 0
25.11% 2
11.05% 3
2.16% 4
0.07% 5
canRegisterNoUnregister: OK
+++ OK, failed as expected. Falsified (after 5 tests and 3 shrinks):
do var3 <- action $ Spawn
action $ Register "b" var3
_ <- forAllQ $ exactlyQ $ "a"
_ <- forAllQ $ exactlyQ $ var3
-- In state: [var3 :: ThreadId, var4 :: ()] |- RegState {regs = fromList [("b",var3)], dead = []}
action $ Register "a" var3 -- Failed precondition
pure ()
Quantification
withGenQ restricts possible generated values: OK
+++ OK, passed 100 tests.
Running actions
simple counter: OK (0.02s)
+++ OK, passed 100 tests.
Action polarity (3194 in total):
100.00% +
Actions (3194 in total):
83.38% +Inc
16.62% +Reset
Step 1
Derivation
/nix/store/d1lscqjjwvqcf7i2hahniq70dksj8p8w-quickcheck-dynamic-test-quickcheck-dynamic-test-3.4.1-check.drv
Log
unpacking sources
unpacking source archive /nix/store/rkw3d01908rx6ngxjqdng37dl4kkzbf1-source-root-quickcheck-dynamic-test-quickcheck-dynamic-test-root
source root is source-root-quickcheck-dynamic-test-quickcheck-dynamic-test-root
patching sources
building
/nix/store/a6k46ksy5bicm70q5v946dq9ympmi7ky-quickcheck-dynamic-test-quickcheck-dynamic-test-3.4.1/bin:
patching script interpreter paths in /private/tmp/nix-build-quickcheck-dynamic-test-quickcheck-dynamic-test-3.4.1-check.drv-0/tmp.3MkGPTUjM5/bin
dynamic logic
registry model example
prop_Registry: OK (0.20s)
+++ OK, passed 100 tests.
Action polarity (2150 in total):
82.28% +
17.72% -
Actions (2150 in total):
36.60% +WhereIs
19.86% +Spawn
15.67% -Register
13.30% +Register
6.51% +Unregister
6.00% +KillThread
2.05% -Unregister
Reason for -Register (337 in total):
37.1% tid already registered
36.8% dead thread
13.1% name already registered
8.0% name already registered tid already registered
5.0% name already registered dead thread
Registry size (2150 in total):
40.60% 1
25.91% 0
23.44% 2
8.37% 3
1.53% 4
0.14% 5
canRegister: OK (0.26s)
+++ OK, passed 100 tests.
Action polarity (2732 in total):
82.83% +
17.17% -
Actions (2732 in total):
35.91% +WhereIs
18.12% +Spawn
16.33% +Register
15.41% -Register
7.21% +Unregister
5.27% +KillThread
1.76% -Unregister
Reason for -Register (421 in total):
42.0% dead thread
32.8% tid already registered
10.7% name already registered
9.7% name already registered tid already registered
4.8% name already registered dead thread
Registry size (2732 in total):
35.98% 1
25.62% 0
25.11% 2
11.05% 3
2.16% 4
0.07% 5
canRegisterNoUnregister: OK
+++ OK, failed as expected. Falsified (after 5 tests and 3 shrinks):
do var3 <- action $ Spawn
action $ Register "b" var3
_ <- forAllQ $ exactlyQ $ "a"
_ <- forAllQ $ exactlyQ $ var3
-- In state: [var3 :: ThreadId, var4 :: ()] |- RegState {regs = fromList [("b",var3)], dead = []}
action $ Register "a" var3 -- Failed precondition
pure ()
Quantification
withGenQ restricts possible generated values: OK
+++ OK, passed 100 tests.
Running actions
simple counter: OK (0.02s)
+++ OK, passed 100 tests.
Action polarity (3194 in total):
100.00% +
Actions (3194 in total):
83.38% +Inc
16.62% +Reset
Loading