language: erlang
otp_release:
  - 18.1
install:
  - make
  - ./rebar3 update
script:
  - make test
  - make xref
  - make dialyzer
  - make lint
notifications:
  email: christopher.meiklejohn@gmail.com
  slack: lasp-lang:hiPRNnbUa3zdGrrXZfGRAF7D
  irc: "irc.freenode.org#lasp-lang"
sudo: false

language: erlang
otp_release:
  - 18.1
install:
  - make
  - ./rebar3 update
script:
  - make test
  - make xref
  - make dialyzer
  - make lint
  - MODE=state_based make ct
  - MODE=delta_based make ct
notifications:
  email: christopher.meiklejohn@gmail.com
  slack: lasp-lang:hiPRNnbUa3zdGrrXZfGRAF7D
  irc: "irc.freenode.org#lasp-lang"
sudo: false

Add tasks for both state and deltas.
Add tasks for both state and deltas.
