jpf-core.git
3 years agoCleaning up a bit Reflection.java.
Rahmadi Trimananda [Sat, 29 Jun 2019 23:35:38 +0000 (16:35 -0700)]
Cleaning up a bit Reflection.java.

3 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
Rahmadi Trimananda [Sat, 29 Jun 2019 23:33:00 +0000 (16:33 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

3 years agoFixing a new bug: Considering parameters with Type and Type array, e.g., T and T[].
Rahmadi Trimananda [Sat, 29 Jun 2019 23:32:26 +0000 (16:32 -0700)]
Fixing a new bug: Considering parameters with Type and Type array, e.g., T and T[].

3 years agoAdding run scripts.
rtrimana [Fri, 28 Jun 2019 23:50:00 +0000 (16:50 -0700)]
Adding run scripts.

3 years agoAdding new examples and tests: Groovy and Java programs.
rtrimana [Fri, 28 Jun 2019 23:33:03 +0000 (16:33 -0700)]
Adding new examples and tests: Groovy and Java programs.

3 years agoFinalizing the beta version of the implementation for Groovy extension in JPF: JPF...
rtrimana [Fri, 28 Jun 2019 18:39:38 +0000 (11:39 -0700)]
Finalizing the beta version of the implementation for Groovy extension in JPF: JPF now runs Groovy-compiled bytecode.

3 years agoAdding recursive call to the getResolvedClassInfo() method: look into the parent...
Rahmadi Trimananda [Fri, 28 Jun 2019 01:18:50 +0000 (18:18 -0700)]
Adding recursive call to the getResolvedClassInfo() method: look into the parent (SystemClassLoaderInfo); adding the ProtectionDomain and AllPermission classes.

3 years agoFixing the ClassLoader.defineClass() method issue that could not find the necessary...
rtrimana [Thu, 27 Jun 2019 19:42:35 +0000 (12:42 -0700)]
Fixing the ClassLoader.defineClass() method issue that could not find the necessary class because JPF did not do recursive look-up for ClassLoaderInfo.loadClass().

3 years agoAdding MagicAccessorImpl class for GroovyMagic.
rtrimana [Wed, 26 Jun 2019 19:38:59 +0000 (12:38 -0700)]
Adding MagicAccessorImpl class for GroovyMagic.

3 years agoUpgrading/adapting fixes to Groovy 2.5.7 from Groovy 2.4.8.
rtrimana [Wed, 26 Jun 2019 18:54:50 +0000 (11:54 -0700)]
Upgrading/adapting fixes to Groovy 2.5.7 from Groovy 2.4.8.

3 years agoFixing a bug in JPF_java_lang_String.java: There was a bug in the loop of the native...
Rahmadi Trimananda [Wed, 26 Jun 2019 00:43:57 +0000 (17:43 -0700)]
Fixing a bug in JPF_java_lang_String.java: There was a bug in the loop of the native method lastIndexOf().

3 years agoFixing a bug: the specification is not accurate for WildcardTypeImpl. The com.sun...
rtrimana [Tue, 25 Jun 2019 18:31:41 +0000 (11:31 -0700)]
Fixing a bug: the specification is not accurate for WildcardTypeImpl. The com.sun.beans.TypeResolver seems to require the upperBounds field to never be null, but when we run it on the actual JVM, this field can be null when it is not needed (when lowerBounds exist).

3 years agoFixing a bug: getWildcardTypeImplObject could not recognize variations of class Type...
rtrimana [Tue, 25 Jun 2019 17:24:25 +0000 (10:24 -0700)]
Fixing a bug: getWildcardTypeImplObject could not recognize variations of class Type parameters, e.g., +TT vs. +TU.

3 years agoAdding tests for Type parameter, wild card, and class types for generic classes.
rtrimana [Tue, 25 Jun 2019 00:18:33 +0000 (17:18 -0700)]
Adding tests for Type parameter, wild card, and class types for generic classes.

3 years agoFixing getGenericReturnType to recognize the GenericArrayTypeImpl and ParameterizedTy...
rtrimana [Mon, 24 Jun 2019 22:56:15 +0000 (15:56 -0700)]
Fixing getGenericReturnType to recognize the GenericArrayTypeImpl and ParameterizedTypeImpl recursively.

3 years agoFixing the method getGenericParameterTypes to recognize the GenericArrayTypeImpl...
rtrimana [Mon, 24 Jun 2019 22:21:54 +0000 (15:21 -0700)]
Fixing the method getGenericParameterTypes to recognize the GenericArrayTypeImpl type.

3 years agoAdding the class GenericArrayTypeImpl.java.
Rahmadi Trimananda [Mon, 24 Jun 2019 16:06:33 +0000 (09:06 -0700)]
Adding the class GenericArrayTypeImpl.java.

3 years agoAdding upperBounds and lowerBounds extraction for 'super' and 'extends'.
Rahmadi Trimananda [Sat, 22 Jun 2019 23:27:54 +0000 (16:27 -0700)]
Adding upperBounds and lowerBounds extraction for 'super' and 'extends'.

3 years agoFixing another bug for getGenericReturnType so that it recognizes Class<?> as Wildcar...
Rahmadi Trimananda [Sat, 22 Jun 2019 18:23:44 +0000 (11:23 -0700)]
Fixing another bug for getGenericReturnType so that it recognizes Class<?> as WildcardTypeImpl.

3 years agoFixing bug in recognizing Class<?> as a WilcardTypeImpl.
Rahmadi Trimananda [Sat, 22 Jun 2019 18:12:34 +0000 (11:12 -0700)]
Fixing bug in recognizing Class<?> as a WilcardTypeImpl.

3 years agoAdded WildcardTypeImpl implementation (minimal support).
rtrimana [Sat, 22 Jun 2019 00:05:46 +0000 (17:05 -0700)]
Added WildcardTypeImpl implementation (minimal support).

3 years agoAdding WildcardTypeImpl class.
rtrimana [Fri, 21 Jun 2019 19:29:47 +0000 (12:29 -0700)]
Adding WildcardTypeImpl class.

3 years agoReturning genericDeclaration for TypeVariableImpl's getGenericDeclaration method.
rtrimana [Fri, 21 Jun 2019 18:43:20 +0000 (11:43 -0700)]
Returning genericDeclaration for TypeVariableImpl's getGenericDeclaration method.

3 years agoAdding ParameterizedTypeImpl to the getGenericInterfaces method.
rtrimana [Fri, 21 Jun 2019 18:34:38 +0000 (11:34 -0700)]
Adding ParameterizedTypeImpl to the getGenericInterfaces method.

3 years agoAdding ParameterizedTypeImpl to getGenericSuperclass method.
rtrimana [Fri, 21 Jun 2019 18:03:21 +0000 (11:03 -0700)]
Adding ParameterizedTypeImpl to getGenericSuperclass method.

3 years agoAdding getGenericSuperclass and getGenericInterface methods but without the Parameter...
Rahmadi Trimananda [Fri, 21 Jun 2019 01:18:31 +0000 (18:18 -0700)]
Adding getGenericSuperclass and getGenericInterface methods but without the ParameterizedTypeImpl option.

3 years agoFixing the method getGenericParameterTypes to include parameterized object such as...
Rahmadi Trimananda [Fri, 21 Jun 2019 00:52:49 +0000 (17:52 -0700)]
Fixing the method getGenericParameterTypes to include parameterized object such as Class<U>.

3 years agoMore tests on the Class<U> case.
rtrimana [Thu, 20 Jun 2019 20:11:28 +0000 (13:11 -0700)]
More tests on the Class<U> case.

3 years agoFound a new case with Class<U> as a generic parameter.
rtrimana [Thu, 20 Jun 2019 19:45:56 +0000 (12:45 -0700)]
Found a new case with Class<U> as a generic parameter.

3 years agoFixing a bug: There is a non-generic class with genericSignature present inside.
rtrimana [Thu, 20 Jun 2019 18:42:39 +0000 (11:42 -0700)]
Fixing a bug: There is a non-generic class with genericSignature present inside.

3 years agoAdding a native method to handle getBounds() with a default answer: java.lang.Object
rtrimana [Thu, 20 Jun 2019 17:48:38 +0000 (10:48 -0700)]
Adding a native method to handle getBounds() with a default answer: java.lang.Object

3 years agoNew problem with Groovy library.
rtrimana [Wed, 19 Jun 2019 20:08:46 +0000 (13:08 -0700)]
New problem with Groovy library.

3 years agoFirst commit to JPF repo on PLRG server.
rtrimana [Wed, 19 Jun 2019 18:21:06 +0000 (11:21 -0700)]
First commit to JPF repo on PLRG server.

3 years agoFirst commit to PLRG Git repo.
rtrimana [Wed, 19 Jun 2019 17:53:11 +0000 (10:53 -0700)]
First commit to PLRG Git repo.

3 years agoTesting for all 3 new method implementations.
Rahmadi Trimananda [Wed, 19 Jun 2019 08:35:03 +0000 (01:35 -0700)]
Testing for all 3 new method implementations.

3 years agoA proper implementation of getGenericReturnType using the class ParameterizedTypeImpl.
Rahmadi Trimananda [Wed, 19 Jun 2019 03:24:15 +0000 (20:24 -0700)]
A proper implementation of getGenericReturnType using the class ParameterizedTypeImpl.

3 years agoA proper implementation for getGenericParameterTypes using the class ParameterizedTyp...
Rahmadi Trimananda [Wed, 19 Jun 2019 03:01:33 +0000 (20:01 -0700)]
A proper implementation for getGenericParameterTypes using the class ParameterizedTypeImpl.

3 years agoAdding ParameterizedTypeImpl.java for parameterized types.
rtrimana [Tue, 18 Jun 2019 19:56:09 +0000 (12:56 -0700)]
Adding ParameterizedTypeImpl.java for parameterized types.

3 years agoA clean implementation for getTypeParameters' native method version.
rtrimana [Tue, 18 Jun 2019 19:46:45 +0000 (12:46 -0700)]
A clean implementation for getTypeParameters' native method version.

3 years agoInstantiating TypeVariableImpl.java
Rahmadi Trimananda [Tue, 18 Jun 2019 06:55:10 +0000 (23:55 -0700)]
Instantiating TypeVariableImpl.java

3 years agoWorking example of class instantiation.
rtrimana [Mon, 17 Jun 2019 19:48:44 +0000 (12:48 -0700)]
Working example of class instantiation.

3 years agoAdding the TypeVariableImpl.java class for generics; minimum implementation for now.
rtrimana [Mon, 17 Jun 2019 18:50:27 +0000 (11:50 -0700)]
Adding the TypeVariableImpl.java class for generics; minimum implementation for now.

3 years agoDirty quick fix for getTypeParameters.
rtrimana [Fri, 14 Jun 2019 19:32:44 +0000 (12:32 -0700)]
Dirty quick fix for getTypeParameters.

3 years agoPreparing for tracking the object creation etc.
rtrimana [Fri, 14 Jun 2019 19:01:13 +0000 (12:01 -0700)]
Preparing for tracking the object creation etc.

3 years agoFirst attempt to add getGenericParameterTypes() and getGenericReturnType(); So far...
rtrimana [Thu, 13 Jun 2019 23:47:25 +0000 (16:47 -0700)]
First attempt to add getGenericParameterTypes() and getGenericReturnType(); So far we have not been able to return the generic types with parameters information.

3 years agoCleaning up for the real fixes.
rtrimana [Thu, 13 Jun 2019 19:53:11 +0000 (12:53 -0700)]
Cleaning up for the real fixes.

3 years agoStarting a new version of Java Pathfinder.
rtrimana [Mon, 10 Jun 2019 22:08:12 +0000 (15:08 -0700)]
Starting a new version of Java Pathfinder.

3 years agoStarting a new version of Java Pathfinder.
rtrimana [Mon, 10 Jun 2019 22:05:55 +0000 (15:05 -0700)]
Starting a new version of Java Pathfinder.

3 years agoStarting our own version of JPF with support for generics.
rtrimana [Mon, 10 Jun 2019 21:12:25 +0000 (14:12 -0700)]
Starting our own version of JPF with support for generics.

3 years agoUpgrade to gradle 5 (#190)
yuvaraj-anbarasan [Sun, 26 May 2019 09:43:13 +0000 (15:13 +0530)]
Upgrade to gradle 5 (#190)

3 years agoFix issue #187: use ubuntu trusty version for travis build environment (#189)
yuvaraj-anbarasan [Mon, 20 May 2019 06:41:32 +0000 (12:11 +0530)]
Fix issue #187: use ubuntu trusty version for travis build environment (#189)

3 years agoFix issue #186: package name (thanks to Marvinmw for the report).
Cyrille Artho [Fri, 3 May 2019 12:19:36 +0000 (14:19 +0200)]
Fix issue #186: package name (thanks to Marvinmw for the report).
modified:   src/tests/gov/nasa/jpf/test/basic/ConsolePublisherTest.java

3 years agoUpdated Search.java documentation (#184)
Yahya [Sun, 31 Mar 2019 11:54:16 +0000 (07:54 -0400)]
Updated Search.java documentation (#184)

* Updated Search.java documentation

Fixed spelling and grammar errors, added verbosity to existing javadoc
and added javadoc where none previously existed.

Surrounded some previously uncaught methods and variables with {@code }

3 years agoAdd Peer for java.util.concurrent.atomic.AtomicReference (#182)
Jentsch [Sat, 30 Mar 2019 14:20:06 +0000 (15:20 +0100)]
Add Peer for java.util.concurrent.atomic.AtomicReference (#182)

3 years agoCalendar peer bug demonstration (#181)
fresheed [Fri, 29 Mar 2019 12:56:57 +0000 (15:56 +0300)]
Calendar peer bug demonstration (#181)

* added unit test demonstrating Calendar peer bug

* added comment and main() method which can be called by RunJPF utility

3 years agoRefined and expanded the javadoc for SearchListener.java and SearchListenerAdapter...
Yahya [Mon, 25 Mar 2019 13:39:05 +0000 (09:39 -0400)]
Refined and expanded the javadoc for SearchListener.java and SearchListenerAdapter.java (#178)

Fixed up some of the spelling mistakes in the documentation for SearchListener.java. Added verbosity to the documentation for the class and method descriptions as well as extra details regarding each method and its usage.

3 years agoImplements a jpf example ConcurrentCount (#177)
Manish Kumar Thakur [Mon, 25 Mar 2019 13:37:07 +0000 (06:37 -0700)]
Implements a jpf example ConcurrentCount (#177)

* Implements the jpf example ConcurrentCount

* check for concurrency issue

3 years agoUpdated Buffer and Matcher Classes (#171)
Krizhan Mariampillai [Wed, 30 Jan 2019 10:38:15 +0000 (05:38 -0500)]
Updated Buffer and Matcher Classes (#171)

3 years agoRectifies the java.lang.NoSuchMethodError when usinf printf (#172)
Manish Kumar Thakur [Tue, 29 Jan 2019 13:44:19 +0000 (19:14 +0530)]
Rectifies the java.lang.NoSuchMethodError when usinf printf (#172)

* Rectifies the java.lang.NoSuchMethodError: java.util.regex.Matcher.find(I)Z error by overloading the find() method in native peer classes

* adds unit test

3 years agoFix: else-if block was missing code, so the "user" option for console publisher was...
Cyrille Artho [Thu, 3 Jan 2019 13:25:23 +0000 (22:25 +0900)]
Fix: else-if block was missing code, so the "user" option for console publisher was defunct. Fixed incl. unit tests (thanks to Franck for both).

3 years agoAdded test on redirecting stdout to a file.
Cyrille Artho [Thu, 20 Dec 2018 14:00:30 +0000 (15:00 +0100)]
Added test on redirecting stdout to a file.
modified:   src/tests/gov/nasa/jpf/test/java/io/FileIOTest.java

3 years ago[fix-bug]: checking attrs is not null in method StackFrame:replaceLocalAttr( ) (...
ngocpq [Wed, 12 Dec 2018 08:55:43 +0000 (17:55 +0900)]
[fix-bug]: checking attrs is not null in method StackFrame:replaceLocalAttr( ) (#166)

* fix-bug in StackFrame.replaceLocalAttr: attrs is null

* add test-case

3 years agoFIX: java.lang.Object should be java/lang/Object.
Cyrille Artho [Sat, 24 Nov 2018 10:17:37 +0000 (11:17 +0100)]
FIX: java.lang.Object should be java/lang/Object.
modified:   src/main/gov/nasa/jpf/vm/Types.java: Fixed incorrect type descr.
modified:   src/tests/gov/nasa/jpf/test/java/lang/ClassTest.java: Unit test.

3 years agoFIX: "java.lang.Char" should be "java.lang.Character". However, new unit test fails...
Cyrille Artho [Fri, 23 Nov 2018 14:39:40 +0000 (15:39 +0100)]
FIX: "java.lang.Char" should be "java.lang.Character". However, new unit test fails due to other problem.
new file:   src/tests/gov/nasa/jpf/test/java/io/PrintStreamTest.java: New test, failing part commented out.

3 years agoFixed out-of-bounds cases for substring.
Cyrille Artho [Fri, 23 Nov 2018 13:52:15 +0000 (14:52 +0100)]
Fixed out-of-bounds cases for substring.

3 years agoAdded StringIndexOutOfBoundsException for charAt, with unit tests.
Cyrille Artho [Fri, 23 Nov 2018 13:25:43 +0000 (14:25 +0100)]
Added StringIndexOutOfBoundsException for charAt, with unit tests.

3 years agoFixed behavior of division by 0 on doubles (should be Infinity), added tests.
Cyrille Artho [Fri, 23 Nov 2018 12:50:45 +0000 (13:50 +0100)]
Fixed behavior of division by 0 on doubles (should be Infinity), added tests.

3 years agoFix for System.in.available().
Cyrille Artho [Fri, 23 Nov 2018 12:24:57 +0000 (13:24 +0100)]
Fix for System.in.available().
modified:   src/classes/java/lang/System.java: Custom instance with fix.
modified:   src/tests/gov/nasa/jpf/test/java/lang/SystemTest.java: Unit test.

3 years ago Support Runtime.halt.
Cyrille Artho [Sat, 17 Nov 2018 05:11:36 +0000 (16:11 +1100)]
Support Runtime.halt.
            modified:   src/peers/gov/nasa/jpf/vm/JPF_java_lang_Runtime.java: Native peers.
            modified:   src/tests/gov/nasa/jpf/test/java/lang/RuntimeTest.java: Tests.

3 years ago modified: build.gradle: Put JPF version into JAR metadata by retrieving latest...
Cyrille Artho [Wed, 14 Nov 2018 23:30:23 +0000 (09:30 +1000)]
modified:   build.gradle: Put JPF version into JAR metadata by retrieving latest tag (to use it as the version string).

3 years ago modified: bin/jpf-sv-comp: adapt script to path convention.
Cyrille Artho [Tue, 13 Nov 2018 19:49:58 +0000 (05:49 +1000)]
modified:   bin/jpf-sv-comp: adapt script to path convention.

3 years ago modified: bin/jpf-core-sv-comp: Adapt jpf location to new path convention.
Cyrille Artho [Tue, 13 Nov 2018 19:49:23 +0000 (05:49 +1000)]
modified:   bin/jpf-core-sv-comp: Adapt jpf location to new path convention.

3 years ago new file: jpf-core-sv-comp: jpf-core-only configuration.
Cyrille Artho [Fri, 19 Oct 2018 08:00:39 +0000 (10:00 +0200)]
new file:   jpf-core-sv-comp: jpf-core-only configuration.

3 years agoMerge branch 'sv-comp-run-script' of git://github.com/peterschrammel/jpf-core into...
Cyrille Artho [Fri, 19 Oct 2018 07:56:42 +0000 (09:56 +0200)]
Merge branch 'sv-comp-run-script' of git://github.com/peterschrammel/jpf-core into peterschrammel-sv-comp-run-script

3 years agoImproves annotation support (#161)
jtoman [Fri, 7 Sep 2018 19:34:36 +0000 (12:34 -0700)]
Improves annotation support (#161)

* Improves annotation support

Closes #150. Improves toString to cover all primitive types and annotation
attributes. Also adds support for:

* Default value reflection
* hashCode/equals on annotations
* nested annotations
* Ignoring missing annotations (which is what the JVM does)

* Reverts unrelated format change

3 years agoMerge pull request #157 from uwplse/set_throwable_cause
cyrille-artho [Sun, 2 Sep 2018 11:59:35 +0000 (13:59 +0200)]
Merge pull request #157 from uwplse/set_throwable_cause

Fixes setCause on default exception

3 years agoFixes default method resolution (#159)
jtoman [Sat, 1 Sep 2018 19:50:00 +0000 (12:50 -0700)]
Fixes default method resolution (#159)

* Fixes default method resolution

3 years agoMerge pull request #156 from uwplse/null_lambda_capture
cyrille-artho [Sat, 1 Sep 2018 08:35:49 +0000 (10:35 +0200)]
Merge pull request #156 from uwplse/null_lambda_capture

Fixes null captured parameters

3 years agoMerge pull request #155 from uwplse/array_setget
cyrille-artho [Sat, 1 Sep 2018 08:08:35 +0000 (10:08 +0200)]
Merge pull request #155 from uwplse/array_setget

Fix get/setShort for field and array reflection

3 years agoFixes setCause on default exception
John Toman [Thu, 30 Aug 2018 20:58:26 +0000 (13:58 -0700)]
Fixes setCause on default exception

3 years agoFixes null captured parameters
John Toman [Thu, 30 Aug 2018 22:31:57 +0000 (15:31 -0700)]
Fixes null captured parameters

3 years agoFix get/setShort for field and array reflection
John Toman [Thu, 30 Aug 2018 22:40:28 +0000 (15:40 -0700)]
Fix get/setShort for field and array reflection

3 years agoRun script for Benchexec
Peter Schrammel [Mon, 27 Aug 2018 11:17:55 +0000 (12:17 +0100)]
Run script for Benchexec

Benchexec is the benchmarking framework used
by SV-COMP.
https://github.com/sosy-lab/benchexec

It can be run using the benchmark definition in
https://github.com/sosy-lab/sv-comp
and the benchmarks in
https://github.com/sosy-lab/sv-benchmarks

3 years agoRemoved Codecov badge
Jeanderson Barros Candido [Wed, 11 Jul 2018 22:23:01 +0000 (19:23 -0300)]
Removed Codecov badge

3 years agoMerge pull request #98 from jeandersonbc/master
Jeanderson Barros Candido [Wed, 11 Jul 2018 22:21:08 +0000 (19:21 -0300)]
Merge pull request #98 from jeandersonbc/master

Support to Gradle Build and Repository Cleanup

3 years agoUpdated travis settings
Jeanderson Candido [Tue, 10 Jul 2018 22:58:27 +0000 (19:58 -0300)]
Updated travis settings

3 years agoIgnoring reports/ dir
Jeanderson Candido [Tue, 10 Jul 2018 22:44:18 +0000 (19:44 -0300)]
Ignoring reports/ dir

3 years agoOrganized build script
Jeanderson Candido [Tue, 10 Jul 2018 22:43:59 +0000 (19:43 -0300)]
Organized build script

3 years agoBump Gradle version
Jeanderson Candido [Tue, 10 Jul 2018 21:32:58 +0000 (18:32 -0300)]
Bump Gradle version

3 years agoRemoved jacoco and builscan from regular build
Jeanderson Candido [Tue, 10 Jul 2018 21:32:30 +0000 (18:32 -0300)]
Removed jacoco and builscan from regular build

3 years agoFixes #95 - Using 'git desribe --tags' rather than hash
Jeanderson Candido [Thu, 5 Jul 2018 21:06:28 +0000 (18:06 -0300)]
Fixes #95 - Using 'git desribe --tags' rather than hash

3 years agoIssue #95 - Updated ReporterResourcesTest
Jeanderson Candido [Thu, 5 Jul 2018 19:59:03 +0000 (16:59 -0300)]
Issue #95 - Updated ReporterResourcesTest

3 years agoAdded Eclipse support for gradle
Jeanderson Candido [Mon, 2 Jul 2018 18:01:54 +0000 (15:01 -0300)]
Added Eclipse support for gradle

4 years agoRevert "Removed docs dir (should be in a different place/branch)"
Jeanderson Candido [Thu, 21 Jun 2018 12:06:56 +0000 (09:06 -0300)]
Revert "Removed docs dir (should be in a different place/branch)"

This reverts commit b59acc6ac631d3e4624b81867296812fcc9ff575.

4 years agoRemoved docs dir (should be in a different place/branch)
Jeanderson Candido [Wed, 20 Jun 2018 03:32:36 +0000 (00:32 -0300)]
Removed docs dir (should be in a different place/branch)

4 years agoExtra - Fixed Codecov URL badge
Jeanderson Candido [Wed, 20 Jun 2018 03:25:58 +0000 (00:25 -0300)]
Extra - Fixed Codecov URL badge

4 years agoUpdate README.md
Jeanderson Barros Candido [Wed, 20 Jun 2018 03:15:55 +0000 (00:15 -0300)]
Update README.md

4 years agoExtra - Added Codecov support
Jeanderson Candido [Wed, 20 Jun 2018 02:55:14 +0000 (23:55 -0300)]
Extra - Added Codecov support

4 years agoExtra - Added Jacoco for test coverage analysis
Jeanderson Candido [Wed, 20 Jun 2018 02:35:29 +0000 (23:35 -0300)]
Extra - Added Jacoco for test coverage analysis

4 years agoMerge branch 'master' into gradle
Jeanderson Candido [Wed, 20 Jun 2018 02:18:00 +0000 (23:18 -0300)]
Merge branch 'master' into gradle