641
45%

Ran 28 Sep 2018 04:50PM UTC

Jobs 2

Files 38

Run time 9s

Badge

Embed ▾

pending completion

Build # 641

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

Added Z3 to Travis configuration (fixes #97) (#98)

* added Z3 build instructions to .travis.yml

* bug fix: tweaked Z3_URL

* changed --quiet to -nv

* pipe wget to unzip

* wget to z3.zip

* remove -q from unzip

* tweaked mv commands

* fix mv dest

* tweaked /opt/z3

* added dist: trusty

* install glibc

* add glib src

* added -y flag

* added addons section to travis file

* tweaked libstdc++ version

* tweaked gcc version

* remove g++

* added upgrade command

* added libstdc++4.9-dev

* tweak package source

* g++4.9

* removed update command

* added env opts

* global env flags

* added libstdc++6

* use a newer glibc

* changed g++ version

* hack libstdc++

* fixed .deb URL

* updated dpkg args

* removed --force

* fixed package name

* use gcc5

* Let's try version 14.04

Run Details

809 of 1679 relevant lines covered (48.18%)

0.96 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	641.1	28 Sep 2018 04:50PM UTC	0	48.18	Travis Job 641.1
2	641.2	28 Sep 2018 04:50PM UTC	0	48.18	Travis Job 641.2

Source Files on build 641

Detailed source file information is not available for this build.

squaresLab / Houston / 641
45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 641

squaresLab / Houston / 641 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 641

squaresLab / Houston / 641
45%

README BADGES
x