Frank Schüssele comments

Repositories
Issues
Comments

Results 13 comments of


                                            Frank Schüssele

Preliminary version of new web interface

* [x] Add GemCutter * [x] Update examples (add concurrent, check present ones) * [x] Remove Petri-Automizer as a tool? It uses the old concurrent trace abstraction and does only...

Skip unsupported regression tests

Okay, I revisited this PR after a long time 🙃 and updated a few files. These are the downsides and open questions: * What should be name of the files...

Skip unsupported regression tests

I updated the code to use regular expressions that also match on the message and not only the result ([7b67a7e](https://github.com/ultimate-pa/ultimate/pull/615/commits/7b67a7e8fbed0175a37b8fa3ee0e8a2fe15d59ea)), without changing the .skip files yet. If we also want...