1
93%
master: 94%

Ran 06 Dec 2018 10:10AM UTC

Files 88

Run time 2468min

Badge

Embed ▾

Committed 06 Dec 2018 10:06AM UTC coverage: 93.276% (+0.02%) from 93.253%

Job # 4774.1

Build Type

Pull #932

travis-ci

Committed by

web-flow

Commit Message

ModelManager: keep its own copy of UserPrefs

ModelManager keeps a reference to the UserPrefs object that is passed
to it via its constructor or via ModelManager#setUserPrefs(UserPrefs).

However, other objects aside from ModelManager may also hold a reference
to that UserPrefs object, and modify it. If developers are not careful,
this could be a source of bugs.

As such, let's teach ModelManager to keep its own defensive copy of the
UserPrefs object.

Pull Request Pull Request #932: Make UserPrefs truly a part of Model

Run Details

1415 of 1517 relevant lines covered (93.28%)

0.93 hits per line

se-edu / addressbook-level4 / 4774 / 1
93%
master: 94%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 4774.1

se-edu / addressbook-level4 / 4774 / 1 93% master: 94%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 4774.1

se-edu / addressbook-level4 / 4774 / 1
93%
master: 94%

README BADGES
x