 Achim D. Brucker
|
76dc1e7e21
|
Improved logging of configuration of test runs.
|
2016-08-28 16:54:32 +01:00 |
|
Achim D. Brucker
|
5a327ff30b
|
Refactoring of junit test setup.
|
2016-08-28 15:51:55 +01:00 |
|
Achim D. Brucker
|
f9389b3e12
|
Pushed Java version to 1.8.
|
2016-08-28 15:35:21 +01:00 |
|
Achim D. Brucker
|
9315e80121
|
Removed outdated dependencies and Eclipse plugin configuration.
|
2016-08-28 02:10:17 +01:00 |
|
Achim D. Brucker
|
d551593a85
|
Removed outdated action implementation.
|
2016-08-28 02:09:28 +01:00 |
|
Achim D. Brucker
|
c150f00d9d
|
Throw exception if entry is not found in adjList.
|
2016-08-28 01:59:37 +01:00 |
|
Achim D. Brucker
|
15ef8cd877
|
Removed white spaces.
|
2016-08-28 01:44:58 +01:00 |
|
Achim D. Brucker
|
a54484cc64
|
Removed outdated options and added default values using relative paths.
|
2016-08-28 01:44:10 +01:00 |
|
Achim D. Brucker
|
f481ad5134
|
Cleaned imports.
|
2016-08-28 01:26:49 +01:00 |
|
Achim D. Brucker
|
8c79e6e747
|
Switched to ECJJavaSourceAnalysisEngine (runs as plain Java program).
|
2016-08-28 01:24:24 +01:00 |
|
Achim D. Brucker
|
6ac2b53981
|
Code cleanup.
|
2016-08-27 23:25:17 +01:00 |
|
Achim D. Brucker
|
4d124b1c3b
|
Added test launcher in main directory.
|
2016-08-27 22:15:22 +01:00 |
|
Achim D. Brucker
|
2d78f40bdc
|
Return -1 if not entry method is found.
|
2016-08-27 14:27:20 +01:00 |
|
Achim D. Brucker
|
09ffcb9dc6
|
Code cleanup.
|
2016-08-26 22:16:03 +01:00 |
|
Achim D. Brucker
|
90cf477779
|
Optimised log output.
|
2016-08-25 00:16:05 +01:00 |
|
Achim D. Brucker
|
1c74aa73fe
|
Directory for tests.
|
2016-08-24 21:56:26 +01:00 |
|
Achim D. Brucker
|
58200c3329
|
A little bit more log output for debugging.
|
2016-08-24 00:01:56 +01:00 |
|
Achim D. Brucker
|
8f85b3cd68
|
Refactored test driver to increase re-use.
|
2016-08-24 00:01:13 +01:00 |
|
Achim D. Brucker
|
83f3617ce3
|
Added source directory.
|
2016-08-23 23:59:07 +01:00 |
|
Achim D. Brucker
|
a32d470b00
|
Added launchers.
|
2016-08-23 23:37:45 +01:00 |
|
Achim D. Brucker
|
21034d8f6c
|
Removed conflicting version.
|
2016-08-23 17:46:36 +01:00 |
|
Achim D. Brucker
|
0897ecc0e5
|
Renamed tests to test
|
2016-08-23 17:46:12 +01:00 |
|
Achim D. Brucker
|
96272f11f3
|
Improved log output.
|
2016-08-23 14:47:25 +01:00 |
|
Achim D. Brucker
|
9e39bc635f
|
Updated package name of tests.
|
2016-08-23 13:49:53 +01:00 |
|
Achim D. Brucker
|
730a134148
|
Removed silent catch blocks.
|
2016-08-23 13:46:28 +01:00 |
|
Achim D. Brucker
|
a53a33313d
|
Reflected refactorign of test cases in configuration.
|
2016-08-23 08:15:36 +01:00 |
|
Achim D. Brucker
|
530c6fd388
|
Updated copyright information.
|
2016-08-22 10:02:03 +01:00 |
|
Achim D. Brucker
|
95c059dcdf
|
Log trace into log file.
|
2016-08-22 10:00:31 +01:00 |
|
Achim D. Brucker
|
2e1e1bbc2e
|
Renamed project name.
|
2016-08-22 07:59:44 +01:00 |
|
Achim D. Brucker
|
fa0baaf226
|
Refactoring: tests -> test.
|
2016-08-21 23:01:28 +01:00 |
|
Achim D. Brucker
|
9965ab05ed
|
Renaming: tests -> test.
|
2016-08-21 22:46:47 +01:00 |
|
Achim D. Brucker
|
a96ed7f310
|
Refactoring: testdata -> test.data.
|
2016-08-21 22:39:35 +01:00 |
|
Achim D. Brucker
|
217a0ae886
|
Renaming.
|
2016-08-21 22:19:53 +01:00 |
|
Achim D. Brucker
|
7fbc55b0f6
|
Added missing src component.
|
2016-08-21 22:11:32 +01:00 |
|
Achim D. Brucker
|
34c4dec2e9
|
Ignore local configuration file.
|
2016-08-21 22:09:22 +01:00 |
|
Achim D. Brucker
|
363c45335f
|
Configuration template.
|
2016-08-21 22:07:31 +01:00 |
|
Achim D. Brucker
|
2595bfaa24
|
Renamed eu.aniketos.dasca.dataflow.tests to eu.aniketos.dasca.dataflow.testdata.
|
2016-08-21 22:03:42 +01:00 |
|
Achim D. Brucker
|
728c165fc6
|
Added lib/ to path of libcvc3-5.0.0.jar.
|
2016-08-21 22:03:26 +01:00 |
|
Achim D. Brucker
|
b7fd8ccd44
|
Renamed eu.aniketos.dasca.dataflow.tests to eu.aniketos.dasca.dataflow.testdata.
|
2016-08-21 22:00:54 +01:00 |
|
Achim D. Brucker
|
5a5a460f5e
|
Renamed menu.
|
2016-08-21 20:16:54 +01:00 |
|
Achim D. Brucker
|
ae9341908c
|
Added plugin.xml.
|
2016-08-21 16:27:27 +01:00 |
|
Achim D. Brucker
|
02fd55fb36
|
Updated plugin id.
|
2016-08-21 15:51:27 +01:00 |
|
Achim D. Brucker
|
c9bf1e1777
|
WALA should now track master.
|
2016-08-20 10:53:04 +01:00 |
|
Achim D. Brucker
|
d67ac0e1ae
|
Make submodule externals/WALA tracking master.
|
2016-08-20 10:48:55 +01:00 |
|
Achim D. Brucker
|
e32bdece19
|
Merge branch 'master' of logicalhacking.com:DASCA/DASCA
|
2016-08-18 00:05:57 +01:00 |
|
Achim D. Brucker
|
c62dc4154e
|
Added method that returns all (heavily overapproximating) possible Target nodes in a cross-language CG.
|
2016-08-18 00:05:42 +01:00 |
|
Achim D. Brucker
|
df517ea7a0
|
Updated submodule
|
2016-08-14 00:06:54 +01:00 |
|
Achim D. Brucker
|
76104c8e9c
|
Added test case using Cordova 6.3.0 (Featherweight DVHMA).
|
2016-08-11 08:59:11 +01:00 |
|
Achim D. Brucker
|
8fe6a2e61e
|
Fixed name of object Featherweight_100_350_Info.scala to reflect actual version of test app.
|
2016-08-11 08:30:14 +01:00 |
|
Achim D. Brucker
|
87dcf8808a
|
Added test case for de.zertapps.dvhma.featherweight_1.0.0_3.5.0_debug.apk.
|
2016-08-10 09:05:27 +01:00 |