From 78c806eebaf5b9d50b08768062755f0044cf107f Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sun, 20 Aug 2017 01:55:38 +0200 Subject: Alloy Examples --- .../examples/filesystem.als | 353 +++++++++++++++++++++ 1 file changed, 353 insertions(+) create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/examples/filesystem.als (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/examples/filesystem.als') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/examples/filesystem.als b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/examples/filesystem.als new file mode 100644 index 00000000..819f1247 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/examples/filesystem.als @@ -0,0 +1,353 @@ +// A file system object in the file system +abstract sig FSObject { } + +// File system objects must be either directories or files. +sig File, Dir extends FSObject { } + +// A File System +sig FileSystem { + root: Dir, + live: set FSObject, + contents: Dir lone-> FSObject, + parent: FSObject ->lone Dir +}{ + // root has no parent + no root.parent + // live objects are those reachable from the root + live = root.*contents + // contents only defined on live objects + contents in live->live + // parent is the inverse of contents + parent = ~contents +} + +run xrx1s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run xrx2s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run xrx3s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rxx4s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rxx5s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx6s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx7s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx8s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx9s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx10s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r11s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx12s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx13s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx14s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx15s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx16s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx17s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx18s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx19s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx20s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx21s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx22s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx23s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx24s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx25s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx26s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx27s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx28s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx29s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run rx30s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r1s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r2s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r3s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r4s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r5s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r6s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r7s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r8s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r9s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r10s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r11s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r12s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r13s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r14s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r15s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r16s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r17s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r18s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r19s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r20s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r21s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r22s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r23s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r24s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r25s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r26s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r27s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r28s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r29s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r30s5 {} for exactly 1 FileSystem, exactly 4 FSObject +run r1s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r2s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r3s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r4s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r5s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r6s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r7s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r8s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r9s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r10s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r11s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r12s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r13s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r14s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r15s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r16s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r17s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r18s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r19s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r20s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r21s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r22s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r23s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r24s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r25s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r26s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r27s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r28s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r29s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r30s10 {} for exactly 1 FileSystem, exactly 9 FSObject +run r1s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r2s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r3s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r4s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r5s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r6s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r7s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r8s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r9s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r10s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r11s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r12s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r13s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r14s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r15s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r16s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r17s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r18s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r19s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r20s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r21s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r22s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r23s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r24s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r25s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r26s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r27s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r28s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r29s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r30s15 {} for exactly 1 FileSystem, exactly 14 FSObject +run r1s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r2s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r3s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r4s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r5s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r6s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r7s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r8s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r9s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r10s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r11s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r12s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r13s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r14s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r15s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r16s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r17s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r18s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r19s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r20s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r21s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r22s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r23s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r24s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r25s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r26s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r27s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r28s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r29s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r30s20 {} for exactly 1 FileSystem, exactly 19 FSObject +run r1s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r2s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r3s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r4s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r5s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r6s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r7s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r8s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r9s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r10s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r11s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r12s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r13s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r14s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r15s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r16s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r17s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r18s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r19s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r20s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r21s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r22s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r23s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r24s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r25s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r26s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r27s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r28s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r29s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r30s25 {} for exactly 1 FileSystem, exactly 24 FSObject +run r1s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r2s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r3s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r4s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r5s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r6s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r7s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r8s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r9s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r10s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r11s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r12s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r13s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r14s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r15s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r16s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r17s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r18s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r19s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r20s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r21s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r22s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r23s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r24s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r25s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r26s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r27s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r28s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r29s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r30s30 {} for exactly 1 FileSystem, exactly 29 FSObject +run r1s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r2s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r3s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r4s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r5s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r6s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r7s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r8s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r9s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r10s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r11s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r12s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r13s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r14s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r15s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r16s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r17s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r18s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r19s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r20s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r21s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r22s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r23s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r24s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r25s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r26s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r27s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r28s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r29s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r30s35 {} for exactly 1 FileSystem, exactly 34 FSObject +run r1s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r2s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r3s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r4s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r5s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r6s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r7s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r8s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r9s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r10s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r11s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r12s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r13s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r14s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r15s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r16s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r17s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r18s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r19s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r20s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r21s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r22s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r23s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r24s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r25s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r26s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r27s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r28s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r29s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r30s40 {} for exactly 1 FileSystem, exactly 39 FSObject +run r1s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r2s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r3s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r4s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r5s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r6s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r7s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r8s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r9s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r10s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r11s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r12s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r13s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r14s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r15s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r16s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r17s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r18s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r19s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r20s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r21s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r22s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r23s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r24s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r25s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r26s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r27s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r28s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r29s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r30s45 {} for exactly 1 FileSystem, exactly 44 FSObject +run r1s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r2s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r3s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r4s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r5s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r6s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r7s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r8s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r9s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r10s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r11s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r12s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r13s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r14s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r15s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r16s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r17s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r18s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r19s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r20s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r21s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r22s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r23s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r24s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r25s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r26s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r27s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r28s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r29s50 {} for exactly 1 FileSystem, exactly 49 FSObject +run r30s50 {} for exactly 1 FileSystem, exactly 49 FSObject -- cgit v1.2.3-70-g09d2