• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

grzesuav / gjpf-core / 226
45%

Build:
DEFAULT BRANCH: master
Ran 12 Oct 2016 09:21PM UTC
Jobs 1
Files 765
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

pending completion
226

Pull #12

travis-ci

web-flow
Separate Test from TestJPF and move to /test dir
Pull Request #12: Move unit tests to /test/ source root in appropriate modules and de-attach from TestJPF class

997 of 997 new or added lines in 17 files covered. (100.0%)

21954 of 48738 relevant lines covered (45.04%)

0.45 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
100.0
main/src/main/java/gov/nasa/jpf/jvm/JVMDirectCallStackFrame.java
1
100.0
main/src/main/java/gov/nasa/jpf/vm/JPFOutputStream.java
3
100.0
main/src/main/java/gov/nasa/jpf/Config.java
3
100.0
main/src/main/java/gov/nasa/jpf/vm/DynamicElementInfo.java
4
100.0
main/src/main/java/gov/nasa/jpf/vm/DirectCallStackFrame.java
7
100.0
main/src/main/java/gov/nasa/jpf/util/event/EventConstructor.java
13
100.0
main/src/main/java/gov/nasa/jpf/jvm/JVMStackFrame.java
29
100.0
main/src/main/java/gov/nasa/jpf/vm/NativeStackFrame.java
30
100.0
main/src/main/java/gov/nasa/jpf/util/event/Event.java
78
100.0
main/src/main/java/gov/nasa/jpf/vm/ElementInfo.java
277
100.0
main/src/main/java/gov/nasa/jpf/vm/StackFrame.java

Uncovered Existing Lines

Lines Coverage ∆ File
1
100.0
main/src/main/java/gov/nasa/jpf/JPF.java
1
100.0
peers/src/main/java/gov/nasa/jpf/vm/JPF_java_lang_Math.java
1
100.0
main/src/main/java/gov/nasa/jpf/vm/VM.java
1
100.0
main/src/main/java/gov/nasa/jpf/jvm/bytecode/GOTO.java
1
100.0
main/src/main/java/gov/nasa/jpf/jvm/JVMClassFileContainer.java
1
100.0
main/src/main/java/gov/nasa/jpf/jvm/JVMStackFrame.java
1
100.0
main/src/main/java/gov/nasa/jpf/util/StringMatcher.java
1
100.0
main/src/main/java/gov/nasa/jpf/jvm/bytecode/IRETURN.java
1
100.0
main/src/main/java/gov/nasa/jpf/util/json/JSONParser.java
1
100.0
main/src/main/java/gov/nasa/jpf/util/json/NullValue.java
1
100.0
peers/src/main/java/gov/nasa/jpf/vm/JPF_java_io_ObjectOutputStream.java
1
100.0
main/src/main/java/gov/nasa/jpf/vm/SingleProcessVM.java
1
100.0
peers/src/main/java/gov/nasa/jpf/vm/JPF_java_lang_Float.java
1
100.0
peers/src/main/java/gov/nasa/jpf/vm/JPF_java_lang_reflect_Constructor.java
2
100.0
peers/src/main/java/gov/nasa/jpf/vm/JPF_java_io_ObjectInputStream.java
2
100.0
main/src/main/java/gov/nasa/jpf/vm/SystemState.java
2
100.0
main/src/main/java/gov/nasa/jpf/vm/DynamicElementInfo.java
2
100.0
main/src/main/java/gov/nasa/jpf/vm/Types.java
2
100.0
peers/src/main/java/gov/nasa/jpf/vm/JPF_java_lang_StringBuilder.java
2
100.0
main/src/main/java/gov/nasa/jpf/jvm/JVMAnnotationParser.java
3
100.0
main/src/main/java/gov/nasa/jpf/vm/MJIEnv.java
3
100.0
main/src/main/java/gov/nasa/jpf/vm/NativeStackFrame.java
3
100.0
main/src/main/java/gov/nasa/jpf/jvm/JVMCodeBuilder.java
4
100.0
main/src/main/java/gov/nasa/jpf/jvm/ClassFile.java
4
100.0
main/src/main/java/gov/nasa/jpf/util/OATHash.java
5
100.0
main/src/main/java/gov/nasa/jpf/vm/choice/IntChoiceFromSet.java
5
100.0
peers/src/main/java/gov/nasa/jpf/vm/JPF_sun_reflect_ReflectionFactory.java
6
100.0
peers/src/main/java/gov/nasa/jpf/vm/JPF_java_lang_reflect_Field.java
6
100.0
main/src/main/java/gov/nasa/jpf/jvm/bytecode/LXOR.java
7
100.0
main/src/main/java/gov/nasa/jpf/util/FeatureSpec.java
7
100.0
main/src/main/java/gov/nasa/jpf/util/json/Token.java
8
100.0
main/src/main/java/gov/nasa/jpf/util/event/EventConstructor.java
11
100.0
peers/src/main/java/gov/nasa/jpf/vm/JPF_java_io_FileDescriptor.java
11
100.0
main/src/main/java/gov/nasa/jpf/vm/ClassInfo.java
11
100.0
main/src/main/java/gov/nasa/jpf/util/UniqueRandomPermGenerator.java
12
100.0
main/src/main/java/gov/nasa/jpf/util/HashData.java
12
100.0
main/src/main/java/gov/nasa/jpf/util/test/TestJPF.java
12
100.0
peers/src/main/java/gov/nasa/jpf/vm/JPF_java_io_ObjectStreamClass.java
14
100.0
main/src/main/java/gov/nasa/jpf/util/LocationSpec.java
14
100.0
main/src/main/java/gov/nasa/jpf/util/StringSetMatcher.java
14
100.0
main/src/main/java/gov/nasa/jpf/util/UnsortedArrayIntSet.java
16
100.0
main/src/main/java/gov/nasa/jpf/util/RandomPermutationGenerator.java
16
100.0
main/src/main/java/gov/nasa/jpf/util/event/EventTree.java
18
100.0
peers/src/main/java/gov/nasa/jpf/vm/JPF_java_security_MessageDigest.java
19
100.0
peers/src/main/java/gov/nasa/jpf/vm/JPF_gov_nasa_jpf_SerializationConstructor.java
19
100.0
main/src/main/java/gov/nasa/jpf/vm/MethodInfo.java
19
100.0
peers/src/main/java/gov/nasa/jpf/vm/JPF_java_lang_Class.java
20
100.0
main/src/main/java/gov/nasa/jpf/util/BinaryClassSource.java
20
100.0
main/src/main/java/gov/nasa/jpf/util/PairPermutationGenerator.java
23
100.0
main/src/main/java/gov/nasa/jpf/vm/ElementInfo.java
24
100.0
main/src/main/java/gov/nasa/jpf/util/PermutationGenerator.java
25
100.0
main/src/main/java/gov/nasa/jpf/util/ArrayObjectQueue.java
26
100.0
main/src/main/java/gov/nasa/jpf/util/MethodSpec.java
26
100.0
main/src/main/java/gov/nasa/jpf/util/TotalPermutationGenerator.java
28
100.0
main/src/main/java/gov/nasa/jpf/util/json/JSONLexer.java
30
100.0
main/src/main/java/gov/nasa/jpf/util/SplitOutputStream.java
35
100.0
main/src/main/java/gov/nasa/jpf/util/CommitOutputStream.java
36
100.0
peers/src/main/java/gov/nasa/jpf/vm/JPF_sun_misc_Unsafe.java
37
100.0
main/src/main/java/gov/nasa/jpf/util/IdentityArrayObjectSet.java
40
100.0
main/src/main/java/gov/nasa/jpf/util/JPFSiteUtils.java
46
100.0
main/src/main/java/gov/nasa/jpf/util/ArrayIntSet.java
48
100.0
main/src/main/java/gov/nasa/jpf/util/AvailableBufferedInputStream.java
48
100.0
main/src/main/java/gov/nasa/jpf/util/ObjVector.java
48
100.0
main/src/main/java/gov/nasa/jpf/util/LimitedInputStream.java
49
100.0
main/src/main/java/gov/nasa/jpf/util/IntTable.java
49
100.0
main/src/main/java/gov/nasa/jpf/util/event/Event.java
50
100.0
main/src/main/java/gov/nasa/jpf/util/SortedArrayObjectSet.java
56
100.0
main/src/main/java/gov/nasa/jpf/util/SortedArrayIntSet.java
58
100.0
main/src/main/java/gov/nasa/jpf/vm/StackFrame.java
67
100.0
main/src/main/java/gov/nasa/jpf/util/ObjectList.java
74
100.0
main/src/main/java/gov/nasa/jpf/util/SparseIntVector.java
78
100.0
main/src/main/java/gov/nasa/jpf/Config.java
581
100.0
main/src/main/java/gov/nasa/jpf/util/PSIntMap.java
Jobs
ID Job ID Ran Files Coverage
1 226.1 12 Oct 2016 09:21PM UTC 0
45.04
Travis Job 226.1
Source Files on build 226
Detailed source file information is not available for this build.
  • Back to Repo
  • Travis Build #226
  • Pull Request #12
  • PR Base - master (#192)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc