pseuco-ccs-compiler merge requestshttps://dgit.cs.uni-saarland.de/pseuco/pseuco-ccs-compiler/-/merge_requests2019-05-15T11:10:53+02:00https://dgit.cs.uni-saarland.de/pseuco/pseuco-ccs-compiler/-/merge_requests/1WIP: Integrate pseuco-tests project.2019-05-15T11:10:53+02:00Felix FreibergerWIP: Integrate pseuco-tests project.The `for-incomplete` test is failing, and I don't know why.The `for-incomplete` test is failing, and I don't know why.Sebastian BiewerSebastian Biewer