diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-10 22:25:07 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:43:14 -0400 |
commit | b97501f5f1cdce51ead750e806dc16013f59ec38 (patch) | |
tree | 4e8f60623112320eaece09b7854063d02ff93259 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/.classpath | |
parent | VAMPIRE: Further develop testing fo r Vampire solver (diff) | |
download | VIATRA-Generator-b97501f5f1cdce51ead750e806dc16013f59ec38.tar.gz VIATRA-Generator-b97501f5f1cdce51ead750e806dc16013f59ec38.tar.zst VIATRA-Generator-b97501f5f1cdce51ead750e806dc16013f59ec38.zip |
implement http requests for the TPTP server
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/.classpath')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/.classpath | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/.classpath b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/.classpath index 3f0838b6..7618afdf 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/.classpath +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/.classpath | |||
@@ -5,5 +5,11 @@ | |||
5 | <classpathentry kind="src" path="src"/> | 5 | <classpathentry kind="src" path="src"/> |
6 | <classpathentry kind="src" path="src-gen"/> | 6 | <classpathentry kind="src" path="src-gen"/> |
7 | <classpathentry kind="src" path="xtend-gen"/> | 7 | <classpathentry kind="src" path="xtend-gen"/> |
8 | <classpathentry kind="lib" path="InputLPs/unirest-java-1.4.9.jar"/> | ||
9 | <classpathentry kind="lib" path="InputLPs/annotations-13.0.jar"/> | ||
10 | <classpathentry kind="lib" path="InputLPs/kotlin-stdlib-1.3.50.jar"/> | ||
11 | <classpathentry kind="lib" path="InputLPs/kotlin-stdlib-common-1.3.50.jar"/> | ||
12 | <classpathentry kind="lib" path="InputLPs/okhttp-4.2.0.jar"/> | ||
13 | <classpathentry kind="lib" path="InputLPs/okio-2.2.2.jar"/> | ||
8 | <classpathentry kind="output" path="bin"/> | 14 | <classpathentry kind="output" path="bin"/> |
9 | </classpath> | 15 | </classpath> |