Commit Briefs
Add Lua rockspec (ligurio/add-rockspec)
We use elle-cli together with Molly [1] and it would be convenient having elle-cli packaged using Luarocks. This allows to setup all required dependencies using Luarocks. i1. https://github.com/ligurio/molly
Add a shell script that runs JAR file
``` $ ./elle-cli Usage: elle-cli --help $ ./elle-cli --help elle-cli - command-line transactional safety checker. Usage: elle-cli -m model [options] files Supported models: ... ```
Release 0.1.6 (tags/0.1.6)
Bump Elle and Jepsen
Update Jepsen [1] and Elle [2] libraries to the latest versions. History paper-example.{edn,json} has been updated and field `:process` been added, see [3]. 1. https://github.com/jepsen-io/jepsen/releases/tag/v0.3.0 2. https://github.com/jepsen-io/elle/releases/tag/v0.1.6 3. https://github.com/jepsen-io/elle/issues/20
Release 0.1.5 (tags/0.1.5)
Knossos register is gone
Commit 4e55c2e ("Remove model register in documentation") removed knossos register model in documentation. This commit finally removes model itself. Use elle's register instead. Closes #42
Add a checker for sequential test
Closes #33
Add a checker for comments test
Closes #32
Bump Jepsen version
Version of Jepsen has been updated to 0.2.7, see changes in [1] and [2]. 1. https://github.com/jepsen-io/jepsen/compare/v0.2.6...v0.2.7 2. https://github.com/jepsen-io/jepsen/releases/tag/v0.2.7
Release 0.1.4 (tags/0.1.4)
Bump Elle version
Version of Elle has been updated to 0.1.5 [1]. Transactional models and anomalies synced with Elle. 1. https://github.com/jepsen-io/elle/compare/v0.1.4...v0.1.5
Fix exit code when history is not valid
Patch changes exit code to 1 when at least one file with history is not valid. Fixes #53
Disable trace mode on running tests
Test script now reports status for each testcase, trace mode looks unnecessary. Needed for #53
Update tests
Wrap each testcase by a small function which checks that history checking status corresponds to expected result. Needed for #53
Fix placement for changelog entry
Changelog entry for commit "Update test descriptions" was accidentally added to a section for released version.
Update test descriptions
Closes #37
Fix running testing twice
Now testing in pull request is started twice: on push event and pull_request synchronize event. Patch enables testing on push event only with push to a master branch and on push tag only. By default, only the opened, synchronize, and reopened activity types trigger workflows that run on the pull_request event, see [1]. 1. https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request
Fix setting of headless mode
Fixes #50 Reported-by: Marco Primi <marco@mpri.me>