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: 07957c179641f9b00a9397057e56d324d2c5e1b5

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
5747a4215238c2b8f70f293df80a8b3279ca42f6
2da2951fa4e7196827aeea4494f5b3e00e58b317
b080300d3bedd92760638d514969b90e90bd7a55
253a342b74a8e96fafe2769cbda8ef368f31abd0
e8799b282f9b6b3a88b00c773da59125bfeba06d
a7bbb96492536c009102373e790b5ba31edd3d3b
1b1bb161250df1a9d47e92c043388ad6caffd487
1a9b4c2d0e042bc8ddb84271d783173d600e0d78
dfd76f2a8d6583bbca288d3899cc11993ca62ffd
--no-deadlock success
  • execution log
  • execution result
  • execution command line

Source Files

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