Index

SYMMETRY tests; CLI option: -workers auto

SYMMETRY tests, designed to validate important model checker optimization for symmetry sets. These tests also use back-to-back approach, but the only difference between model-under-test and equivalent model is that the latter does not use symmetry set optimization.

Test Cases

Id Type Check Deadlock Invariant Property View Test Results Test Models
3047134d7bf6b62a7c347d5205f6365fb0e4ac9c TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
True True True True Passed
58f5c3842f1393d6fceac5b8323d31c7186f577b TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
True True True False Passed
d7e16a68ae9c44addccac0e032c8f77b4a6ffea2 TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
True True False True Passed
42eee78ca4e5b1fc33af4f7a4a4414c56c76fe39 TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
True True False False Passed
69bd7a89d0dac290b4ae7fb8ce11e546cd6d91f5 TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
True False True True Passed
68084c6252a349a88320b4c2fbae7fa40a50b828 TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
True False True False Passed
b54a785a6d7fc5e848c9f1247e06908dcdf68166 TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
True False False True Passed
02c6b78dfde8d71dd645906509a26d782508bf72 TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
True False False False Passed
cdbda7b24b72ea5904a8cef442b8f7c9f0831c0f TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
False True True True Passed
19ac86c2d0379a4269690f4f3b992556adfbe89b TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
False True True False Passed
9d2635f9a253b7b6c3d7985c919a36e4f547122d TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
False True False True Passed
e0aa9f6b62424d24cec0e68594ec106e4d6d5fc2 TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
False True False False Passed
bafa7193e9468644b7257a7ce26da3eb6a0e22d2 TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
False False True True Passed
4e7f748afc54ddd318ab915cc056bda4ff8fd6e1 TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
False False True False Passed
90ab6b8d82ad9c80350b97595b5f9032395887c8 TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
False False False True Passed
e8b21c407f66890f6f41e438ac7602bb104cce02 TLC with reduction strategy:
  • Replace `-workers auto` option with the `-workers 1`
False False False False Passed