67 lines
1.8 KiB
Promela
67 lines
1.8 KiB
Promela
? <nixspace ?nixspace> $nixspace [
|
|
|
|
? <Observe <rec nixVersion _> _> [
|
|
$config <require-service <daemon nix_actor>>
|
|
]
|
|
|
|
? <Observe <rec eval _> _> [
|
|
$config <require-service <daemon nix_actor>>
|
|
]
|
|
|
|
? <Observe <rec eval _> _> [
|
|
$config <require-service <daemon nix_actor>>
|
|
]
|
|
|
|
? <Observe <rec instantiate _> _> [
|
|
$config <require-service <daemon nix_actor>>
|
|
]
|
|
|
|
? <Observe <rec realise _> _> [
|
|
$config <require-service <daemon nix_actor>>
|
|
]
|
|
|
|
;? <eval "let pkgs = import /nix/var/nix/profiles/per-user/root/channels/nixos/pkgs/top-level/impure.nix {}; in pkgs.hello.meta" {} ?result> [
|
|
; $log ! <log "-" { hello-meta: $result }>
|
|
;]
|
|
|
|
; ? <instantiate "let pkgs = import <nixpkgs> {}; in pkgs.hello" { } ?drv> [
|
|
; ? <realise $drv ?outputs> [
|
|
; $log ! <log "-" { "hello": $outputs }>
|
|
; ]
|
|
; ]
|
|
|
|
;? <eval "let pkgs = import /nix/var/nix/profiles/per-user/root/channels/nixos/pkgs/top-level/impure.nix {}; in pkgs.hello.meta" {} ?result> [
|
|
; $log ! <log "-" { hello-meta: $result }>
|
|
;]
|
|
|
|
|
|
; ? <missing ["/nix/store/p7fnjrbvmpwl192ir8p2ixfym68j7sgv-invidious-unstable-2023-05-08"] _ ?subs _ ?dlSize ?narSize> [
|
|
; $log ! <log "-" { invidious-unstable-2023-05-08: {
|
|
; substitutes: $subs
|
|
; downloadSize: $dlSize
|
|
; narSize: $narSize
|
|
; } }>
|
|
; ]
|
|
|
|
; ? <path-info "/nix/store/jhgh02lyizd1kyl71brvc01ygsmgi40a-tzdata-2023c"
|
|
; ?deriver ?narHash _ _ ?narSize _ ?sigs _> [
|
|
; $log ! <log "-" { tzdata-2023c: {
|
|
; deriver: $deriver
|
|
; narHash: $narHash
|
|
; narSize: $narSize
|
|
; sigs: $sigs
|
|
; } }>
|
|
; ]
|
|
|
|
|
|
$config [
|
|
? <service-object <daemon nix_actor> ?cap> [
|
|
$cap {
|
|
listen-socket: "/tmp/worker.socket"
|
|
daemon-socket: "/nix/var/nix/daemon-socket/socket"
|
|
dataspace: $nixspace
|
|
}
|
|
]
|
|
]
|
|
]
|