diff options
| author |  OszkarSemerath <semerath@mit.bme.hu> | 2023-08-08 20:19:03 +0200 |
|---|---|---|
| committer | OszkarSemerath <semerath@mit.bme.hu> | 2023-08-08 20:19:03 +0200 |
| commit | e2268925741bd4c68dcead708b211bf5fd99440c (patch) | |
| tree | 194b1a1a0a95be71180f39020489e2368937f403 /gradlew.bat.license | |
| parent | Unused condition simplified. (diff) | |
| download | refinery-e2268925741bd4c68dcead708b211bf5fd99440c.tar.gz refinery-e2268925741bd4c68dcead708b211bf5fd99440c.tar.zst refinery-e2268925741bd4c68dcead708b211bf5fd99440c.zip | |
Added test for StateEquivalenceChecker Unknown outcome.
Diffstat (limited to 'gradlew.bat.license')
0 files changed, 0 insertions, 0 deletions