Comments (16)
Would you be willing to contribute one? I don't use pods myself and have done it very wrong in the past.
from swiftcheck.
I might be able to do that... Let me look into it. We have a need of integrating a good check library into our project, and a strong preference for Cocoapods where possible...
from swiftcheck.
I'd appreciate anything you could do.
from swiftcheck.
Started looking into this – but I'm having trouble with a few things. Would be nice to have the docs improved to include information on how to build and install into other projects, etc.
Right now – seem to be a bit stuck on how to generate a framework for inclusion in an iOS Project.
Also running into some build problems during podding... will come back to those. If you can give a little advice on your build setup / install instructions that could prove helpful.
from swiftcheck.
You're right in that the README should definitely have installation instructions. As for the failing pod builds, can you be more specific?
from swiftcheck.
Yep... here's the error I'm trying to figure out. The build works fine in Xcode, but during podding I get this...
/Users/zbeckman/Projects/SwiftCheck/SwiftCheck/TestOperators.swift:120:13: error: cannot load underlying module for 'XCTest'
import func XCTest.XCTFail
^
** BUILD FAILED **
The following build commands failed:
CompileSwift normal x86_64 /Users/zbeckman/Projects/SwiftCheck/SwiftCheck/Arbitrary.swift
CompileSwift normal x86_64 /Users/zbeckman/Projects/SwiftCheck/SwiftCheck/Check.swift
CompileSwift normal x86_64 /Users/zbeckman/Projects/SwiftCheck/SwiftCheck/Equatable.swift
CompileSwift normal x86_64 /Users/zbeckman/Projects/SwiftCheck/SwiftCheck/Gen.swift
CompileSwift normal x86_64 /Users/zbeckman/Projects/SwiftCheck/SwiftCheck/Lattice.swift
CompileSwift normal x86_64 /Users/zbeckman/Projects/SwiftCheck/SwiftCheck/Modifiers.swift
CompileSwift normal x86_64 /Users/zbeckman/Projects/SwiftCheck/SwiftCheck/Property.swift
CompileSwift normal x86_64 /Users/zbeckman/Projects/SwiftCheck/SwiftCheck/Random.swift
CompileSwiftSources normal x86_64 com.apple.xcode.tools.swift.compiler
(9 failures)
-> SwiftCheck (1.0.0b)
- ERROR | [iOS] Returned an unsuccessful exit code.
- ERROR | /Users/zbeckman/Projects/SwiftCheck/SwiftCheck/TestOperators.swift:120:13: error: cannot load underlying module for 'XCTest'
from swiftcheck.
Ah! Take a look at how other frameworks that need to link XCTest get around that. We use header search paths to trick Xcode; I'm not sure how to do that with Pods tho.
from swiftcheck.
Here's Quick
from swiftcheck.
Aha! Thanks that helps...
from swiftcheck.
Alright, this is a bit frustrating – not sure if you are more familiar with the command line compiler than I am. I don't use it...
Running into a problem where overloaded operators (such as <^>) are throwing errors during compile:
/Users/zbeckman/Projects/SwiftCheck/SwiftCheck/Gen.swift:205:13: error: operator implementation without matching operator declaration
public func <^> <A, B>(f : A -> B, g : Gen) -> Gen {
/Users/zbeckman/Projects/SwiftCheck/SwiftCheck/Rose.swift:30:12: error: operator is not a known binary operator
return f <^> self
Now, obviously these are declared in Operators.swift. My first thought was to try and import the SwiftCheck package – but that doesn't work ("can't import package being compiled"). If you have any ideas please do holler... will research more, but I have to get back to a few other things for this afternoon...
from swiftcheck.
They come from another TypeLift package called Operadics.
from swiftcheck.
You're gonna want to enable submodules and let the pod see External/Operadics
from swiftcheck.
With the merging of #83 SwiftCheck is now registered with Cocoapods and includes a podspec on the 1.2 side.
I believe that is the end of this issue, then. Closing.
from swiftcheck.
Awesome! Looking forward to seeing it pop into the swift 2 branch.
from swiftcheck.
Hm... Just tried (on my own fork) adding the podspec to swift-develop – The pod downloads and integrates just fine, but during compile I get a lot of compiler errors re: "not a legal operator." Looks like Operadics is not getting pulled into the project. So, it would seem that if you are using a purely Cocoapod setup a piece is still missing...?
from swiftcheck.
Operadics was added post-1.2 as we split Swiftz into a bunch of other frameworks. You must let the podspec see the Operadics checkout.
from swiftcheck.
Related Issues (20)
- How to define arbitrary extensions for recursive datatypes? HOT 5
- Preferred idiom for testing exception-throwing code HOT 1
- Generator is not used during shrinking. HOT 2
- no Gen.let or heterogeneous sequence/tuple? HOT 7
- `forAll` doesn't support explicit generator being passed HOT 9
- Gen.frequency seems to fixate on a single generator for a single run HOT 1
- passing any checkerargs results in only a single test case running HOT 8
- allow specifying seed so that `generate` can be repeatable. HOT 14
- How exactly to rerun failed examples? HOT 5
- Doesn't compile with Xcode 10.2 HOT 1
- String generator breaks if test not always true HOT 2
- StdGen.genRange seems to have wrong value HOT 2
- Xcode canvas for SwiftUI always fail HOT 1
- Code from README doesn't compile
- Asynchronous Testing
- Integer partition generator
- Xcode 12 or swift 5.3 incompatibility
- SwiftCheck
- Unable to run Playground HOT 1
- (U)Int `arbitrary` implementation provides limited values with `.proliferate(withSize:)`
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from swiftcheck.