Index


  • Introduction

  • Skipped feature combinations
  • Failed test cases
  • Tests by feature combinations
  • SYMMETRY tests
  • Tests under anomalous conditions

  • Tests by feature combinations: -workers 2
  • SYMMETRY tests: -workers 2

  • Tests by feature combinations: -workers auto
  • SYMMETRY tests: -workers auto

Model Id: 73235e95f67d5e86b853352f46000639577c10d9

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
9dbd44f2f1c1a214ed7c38f562084529364ad0c0
1e23a52d63459f10c3ce338256e9959884348313
baa4b34fee31f590342255e1e1abe2123dd1c7a3
ceaa8bda28291e69ac68d2a6b4e1e81cef93cd71
b14104566cfa4a53b860e9a0774c37d9304bc27c
16a9e2e814dd40efa9eedf8b25c6ee40e2e30992
c2b7547ec7f032a3ad404bf88f685c22e67139c5
d80ed5b95d8b6e1ee414df0f86a813e7c40ccbb2
e41ef845833ad52d553c58b8077bbb88bbc0df5c
3d9c763a19ada6c52cc81b4bc458d63927f0dddb
--no-deadlock violation
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path Assume/BoolTrue/no-dl/ref
Configuration Apalache_M0.cfg
Main Module Apalache_M0.tla
Other Modules