devexperts/lin-check

Issues

• Parametrization of tests

  #9 opened 5 years ago by elizarov
  1

• Issues link in README.md leads to 404

  #1 opened 6 years ago by nikolaenkov
  1

• Provide support for testing of quiescent-consistency

  #5 opened 6 years ago by elizarov
  1

• How to check not linearizable data structure ?

  #6 opened 6 years ago by HarryMtv
  2

• References to generated classes do not seem to be released between iterations

  #3 opened 7 years ago by elizarov
  1

• Generating all linearizable executions is very slow

  #2 opened 7 years ago by elizarov
  3