Ecdar/Ecdar-Test

Issues

• Replace samples with Ecdar-Common

  #31 opened a year ago
  1

• Use async queries instead of blocking

  #29 opened a year ago
  0

• Black and whitelist proofs

  #23 opened 2 years ago
  0

• Get a file with all queries

  #18 opened 2 years ago
  0

• Upper bound on the amount of tests

  #17 opened 2 years ago
  0

• Limit the complexity of the queries

  #16 opened 2 years ago
  0

• Verdict in log file

  #15 opened 2 years ago
  0

• Theorem 6 requires that components share alphabets

  #10 opened 3 years ago
  0

• Improve testability

  #9 opened 3 years ago
  0

• Boolean Guards test cases

  #3 opened 3 years ago
  0

• Test comparison

  #2 opened 3 years ago
  0

• List of test types

  #1 opened 4 years ago
  2