cwhy/tests/swift at main · plasma-umass/cwhy · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
testme.swift		testme.swift

README.md

Compile with swiftc testme.swift.