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: 0ff550580c56648a452870f22ec7cd9f8c1bb9af

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
cd9a28fb311c6ab7d07cbc0a18de768a82b8f2ed
3f18578b5c3acde6e910d618c7480045d66600a1
195d56119448ee00ca685f68e0d50a423c83004a
25db17bdfc73163cf9d6ec09d99f354173a90103
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path NumGt/Def1Recursive/no-dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules