1
31%
master: 31%

Ran 18 Apr 2018 05:24PM UTC

Files 13

Run time 1s

Badge

Embed ▾

Committed 18 Apr 2018 05:20PM UTC coverage: 43.692% (+0.8%) from 42.879%

Job # 31.1

Build Type

push

travis-ci

Committed by

korosuke613

Commit Message

Fixed a bug in which else is displayed.

problem.vdmpp

境界値分析によるテストケース
No.1 : 4294967295 -> Undefined Action
No.2 : 4294967294 -> "amod4=0and!a>92"
No.3 : 0 -> else
No.4 : -1 -> Undefined Action
No.5 : 3 -> "amod4=0and!a>92"
No.6 : 4 -> else
No.7 : 5 -> "amod4=0and!a>92"
No.8 : 93 -> "amod4=0and!a>92"
No.9 : 92 -> else

記号実行によるテストケース
No.1 : 96 -> "amod4=0anda>92"
No.2 : 4 -> else
No.3 : 5 -> "amod4=0and!a>92"

↓↓↓

境界値分析によるテストケース
No.1 : 4294967295 -> Undefined Action
No.2 : 4294967294 -> "!amod4=0"
No.3 : 0 -> "amod4=0and!a>92"
No.4 : -1 -> Undefined Action
No.5 : 3 -> "!amod4=0"
No.6 : 4 -> "amod4=0and!a>92"
No.7 : 5 -> "!amod4=0"
No.8 : 93 -> "!amod4=0"
No.9 : 92 -> "amod4=0and!a>92"

記号実行によるテストケース
No.1 : 96 -> "amod4=0anda>92"
No.2 : 4 -> "amod4=0and!a>92"
No.3 : 5 -> "!amod4=0"

Run Details

284 of 650 relevant lines covered (43.69%)

0.44 hits per line

korosuke613 / BWDM / 31 / 1
31%
master: 31%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 31.1

korosuke613 / BWDM / 31 / 1 31% master: 31%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 31.1

korosuke613 / BWDM / 31 / 1
31%
master: 31%

README BADGES
x