Merge branch '720-model-_assert_true-for-coverity' into 'master'

Resolve "model _assert_true() for coverity"

Closes #720

See merge request !1108
34 jobs for master in 9 minutes and 35 seconds (queued for 6 seconds)
Status Job ID Name Coverage
  Precheck
passed #100857
amd64 docker linux
precheck:debian:sid:amd64

00:00:15

 
  Build
passed #100864
amd64 docker linux
build:asan:debian:sid:amd64

00:01:44

passed #100858
amd64 docker linux
build:centos:centos6:amd64

00:02:31

passed #100859
amd64 docker linux
build:centos:centos7:amd64

00:02:41

passed #100860
amd64 docker linux
build:clang:debian:stretch:amd64

00:01:34

passed #100865
i386 docker linux
build:clang:debian:stretch:i386

00:01:36

passed #100861
amd64 docker linux
build:debian:jessie:amd64

00:01:01

passed #100863
amd64 docker linux
build:debian:sid:amd64

00:01:23

passed #100866
i386 docker linux
build:debian:sid:i386

00:01:38

passed #100862
amd64 docker linux
build:debian:stretch:amd64

00:01:32

passed #100868
amd64 docker linux
noassert:build:debian:sid:amd64

00:01:08

passed #100867
amd64 docker linux
pkcs11:build:debian:sid:amd64

00:01:22

 
  Test
passed #100869
amd64 docker linux
docs:debian:sid:amd64

00:00:53

passed #100885
amd64 docker linux
install:debian:sid:amd64

00:02:15

passed #100889
amd64 docker linux
noassert:systemtest:debian:sid:amd64

00:04:56

passed #100888
amd64 docker linux
noassert:unittest:debian:sid:amd64

00:00:51

passed #100887
amd64 docker linux
pkcs11:systemtest:debian:sid:amd64

00:04:55

passed #100886
amd64 docker linux
pkcs11:unittest:debian:sid:amd64

00:00:50

failed #100883
amd64 docker linux
systemtest:asan:debian:sid:amd64

00:06:36

passed #100878
amd64 docker linux
systemtest:centos:centos6:amd64

00:04:48

passed #100879
amd64 docker linux
systemtest:centos:centos7:amd64

00:05:33

passed #100880
amd64 docker linux
systemtest:debian:jessie:amd64

00:04:51

passed #100882
amd64 docker linux
systemtest:debian:sid:amd64

00:05:32

passed #100884
i386 docker linux
systemtest:debian:sid:i386

00:05:35

passed #100881
amd64 docker linux
systemtest:debian:stretch:amd64

00:05:28

passed #100875
amd64 docker linux
unittest:asan:debian:sid:amd64

00:01:06

passed #100870
amd64 docker linux
unittest:centos:centos6:amd64

00:00:49

passed #100871
amd64 docker linux
unittest:centos:centos7:amd64

00:00:53

passed #100876
amd64 docker linux
unittest:clang:debian:stretch:amd64

00:00:44

passed #100872
amd64 docker linux
unittest:debian:jessie:amd64

00:00:34

passed #100874
amd64 docker linux
unittest:debian:sid:amd64

00:00:45

passed #100877
i386 docker linux
unittest:debian:sid:i386

00:00:49

passed #100873
amd64 docker linux
unittest:debian:stretch:amd64

00:00:52

 
  Push
skipped #100890
amd64 docker linux
push:docs
 
Name Stage Failure
failed
systemtest:asan:debian:sid:amd64 Test
No job log