diff options
| author | Nao Pross <np@0hm.ch> | 2023-10-17 19:54:42 +0200 |
|---|---|---|
| committer | Nao Pross <np@0hm.ch> | 2023-10-17 19:54:42 +0200 |
| commit | 8f22cfbcd8c61e3e7ec78628b52a579c4f1dff53 (patch) | |
| tree | 3ca4791823bdb7fd0a6bd8cfdf24ab21acc1283b /Dockerfile | |
| parent | Fix bug to pass TestFiniteMapRepresentation (diff) | |
| download | act4e-8f22cfbcd8c61e3e7ec78628b52a579c4f1dff53.tar.gz act4e-8f22cfbcd8c61e3e7ec78628b52a579c4f1dff53.zip | |
Pass TestFiniteRelationOperations
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions