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

STAMP-project / Ex2Amplifier / 10
87%

Build:
DEFAULT BRANCH: master
Ran 10 Nov 2017 03:35PM UTC
Jobs 1
Files 17
Run time 1s
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
10

push

travis-ci

web-flow
Main process (#4)

* refactor: add inheritance to InstrumenterProcessor for isToBeProcessed

* feat: copy the alloy model

* test: add main test of the procedure

* test: update test resources

* feat: add alloy runner

* test: test running model alloy

* test: add example of alloy model in resources

* dependency: add alloy lib

* dependency: add installation of dspot

* test: add AbstractTest to handle state of program

* pom: add clean of the compiled files of test resources

* clean: remove toAlloy in ModelBuilder

477 of 526 relevant lines covered (90.68%)

0.91 hits per line

Jobs
ID Job ID Ran Files Coverage
1 10.1 10 Nov 2017 03:35PM UTC 0
90.68
Travis Job 10.1
Source Files on build 10
Detailed source file information is not available for this build.
  • Back to Repo
  • Travis Build #10
  • 6fef9ae9 on github
  • Prev Build on master (#3)
  • Next Build on master (#14)
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