aboutsummaryrefslogtreecommitdiff
path: root/integration/conf
Commit message (Expand)AuthorAgeFilesLines
* hacky print consistency proofrgdd/proofsRasmus Dahlberg2022-06-201-0/+2
* integration: reduce interval to speed-up testRasmus Dahlberg2022-04-221-1/+1
* integration: remove rgdd's test paramsRasmus Dahlberg2022-04-211-2/+2
* integration: add automatic setup and tear-downRasmus Dahlberg2022-04-213-0/+26