Commit c1b6a1eb authored by Damien.Morard's avatar Damien.Morard
Browse files

Add tp4

parent 70eb78ad
.DS_Store
/.build
/Packages
/*.xcodeproj
{
"object": {
"pins": [
{
"package": "LogicKit",
"repositoryURL": "https://github.com/kyouko-taiga/LogicKit",
"state": {
"branch": "master",
"revision": "3ee0c761609ef85f76604d9308a24841cca972c4",
"version": null
}
}
]
},
"version": 1
}
// swift-tools-version:5.0
// The swift-tools-version declares the minimum version of Swift required to build this package.
import PackageDescription
let package = Package(
name: "TP4_logickit",
dependencies: [
// Dependencies declare other packages that this package depends on.
.package(url: "https://github.com/kyouko-taiga/LogicKit", .branch("master")), ],
targets: [
// Targets are the basic building blocks of a package. A target can define a module or a test suite.
// Targets can depend on other targets in this package, and on products in packages which this package depends on.
.target(
name: "TP4_logickit",
dependencies: ["LogicKit"]),
.testTarget(
name: "TP4_logickitTests",
dependencies: ["TP4_logickit"]),
]
)
# TP4_logickit
A description of this package.
import LogicKit
import LogicKitBuiltins
// Initial Term
// You can add other terms if needed
//let x: Term = .var("x")
// KnowledgeBase is a collection which contains all the things we know
var kb: KnowledgeBase = [
// Complete the facts and rules in this knowledge base
// HERE
]
// We merge your knowledge base with builtins types in LogicKit
// Also, you can use all operation on Nat and List
kb = kb + KnowledgeBase(knowledge: (List.axioms + Nat.axioms))
// Write your examples to test your rules below !
import XCTest
import TP4_logickitTests
var tests = [XCTestCaseEntry]()
tests += TP4_logickitTests.allTests()
XCTMain(tests)
import XCTest
import class Foundation.Bundle
final class TP4_logickitTests: XCTestCase {
func testExample() throws {
// This is an example of a functional test case.
// Use XCTAssert and related functions to verify your tests produce the correct
// results.
// Some of the APIs that we use below are available in macOS 10.13 and above.
guard #available(macOS 10.13, *) else {
return
}
let fooBinary = productsDirectory.appendingPathComponent("TP4_logickit")
let process = Process()
process.executableURL = fooBinary
let pipe = Pipe()
process.standardOutput = pipe
try process.run()
process.waitUntilExit()
let data = pipe.fileHandleForReading.readDataToEndOfFile()
let output = String(data: data, encoding: .utf8)
XCTAssertEqual(output, "Hello, world!\n")
}
/// Returns path to the built products directory.
var productsDirectory: URL {
#if os(macOS)
for bundle in Bundle.allBundles where bundle.bundlePath.hasSuffix(".xctest") {
return bundle.bundleURL.deletingLastPathComponent()
}
fatalError("couldn't find the products directory")
#else
return Bundle.main.bundleURL
#endif
}
static var allTests = [
("testExample", testExample),
]
}
import XCTest
#if !canImport(ObjectiveC)
public func allTests() -> [XCTestCaseEntry] {
return [
testCase(TP4_logickitTests.allTests),
]
}
#endif
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment