|
7 | 7 | objects = { |
8 | 8 |
|
9 | 9 | /* Begin PBXBuildFile section */ |
| 10 | + 82BA2A041B75E8CA00F9F201 /* ConcurrentSpec.swift in Sources */ = {isa = PBXBuildFile; fileRef = 82BA2A031B75E8CA00F9F201 /* ConcurrentSpec.swift */; }; |
| 11 | + 82BA2A051B75E8CA00F9F201 /* ConcurrentSpec.swift in Sources */ = {isa = PBXBuildFile; fileRef = 82BA2A031B75E8CA00F9F201 /* ConcurrentSpec.swift */; }; |
10 | 12 | 8410224B1B1A9F9E00E799A0 /* SwiftCheck.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = 84A53E011B1A9F1900E8A107 /* SwiftCheck.framework */; }; |
11 | 13 | 8410224F1B1A9FAC00E799A0 /* SwiftCheck.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = 84A53DFD1B1A9F1900E8A107 /* SwiftCheck.framework */; }; |
12 | 14 | 841022501B1A9FBE00E799A0 /* SwiftCheck.framework in CopyFiles */ = {isa = PBXBuildFile; fileRef = 84A53DFD1B1A9F1900E8A107 /* SwiftCheck.framework */; settings = {ATTRIBUTES = (CodeSignOnCopy, RemoveHeadersOnCopy, ); }; }; |
|
134 | 136 | /* End PBXCopyFilesBuildPhase section */ |
135 | 137 |
|
136 | 138 | /* Begin PBXFileReference section */ |
| 139 | + 82BA2A031B75E8CA00F9F201 /* ConcurrentSpec.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = ConcurrentSpec.swift; sourceTree = "<group>"; }; |
137 | 140 | 841022531B1AA00D00E799A0 /* MVarSpec.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = MVarSpec.swift; sourceTree = "<group>"; }; |
138 | 141 | 84152B791A818C95006387D5 /* SVar.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = SVar.swift; sourceTree = "<group>"; }; |
139 | 142 | 8434F98019E9CD76008D9909 /* Concurrent.framework */ = {isa = PBXFileReference; explicitFileType = wrapper.framework; includeInIndex = 0; path = Concurrent.framework; sourceTree = BUILT_PRODUCTS_DIR; }; |
|
246 | 249 | 8434F98F19E9CD76008D9909 /* ConcurrentTests */ = { |
247 | 250 | isa = PBXGroup; |
248 | 251 | children = ( |
| 252 | + 82BA2A031B75E8CA00F9F201 /* ConcurrentSpec.swift */, |
249 | 253 | 84F467811B1B9244002A4C4C /* ChanSpec.swift */, |
250 | 254 | 841022531B1AA00D00E799A0 /* MVarSpec.swift */, |
251 | 255 | 84EA2C5B1B240C4D0001FB3F /* SVarSpec.swift */, |
|
514 | 518 | 8434F9D019E9CE1D008D9909 /* PiCalculus.swift in Sources */, |
515 | 519 | 84EA2C5A1B23AE5F0001FB3F /* MVarSpec.swift in Sources */, |
516 | 520 | 84EA2C591B23AE5D0001FB3F /* ChanSpec.swift in Sources */, |
| 521 | + 82BA2A041B75E8CA00F9F201 /* ConcurrentSpec.swift in Sources */, |
517 | 522 | ); |
518 | 523 | runOnlyForDeploymentPostprocessing = 0; |
519 | 524 | }; |
|
541 | 546 | 84F467831B1B9244002A4C4C /* ChanSpec.swift in Sources */, |
542 | 547 | 841022551B1AA00D00E799A0 /* MVarSpec.swift in Sources */, |
543 | 548 | 84A53D6F1B1A8FC400E8A107 /* PiCalculus.swift in Sources */, |
| 549 | + 82BA2A051B75E8CA00F9F201 /* ConcurrentSpec.swift in Sources */, |
544 | 550 | ); |
545 | 551 | runOnlyForDeploymentPostprocessing = 0; |
546 | 552 | }; |
|
0 commit comments