Merge branch 'makaimann-label-bads-btor'
authorClifford Wolf <clifford@clifford.at>
Thu, 14 Nov 2019 10:57:53 +0000 (11:57 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 14 Nov 2019 10:57:53 +0000 (11:57 +0100)
commitf453f579bff2c6c64357c6482ad132f84f715fff
tree2b393a693d327e7efcaa95fae734a5b2ff2e1979
parentab0fb19cfff7760bfd69b49ed6d81a823be2a6ba
parentcd44826d5026316d9b44ae33c1fcf0d8faf550c4
Merge branch 'makaimann-label-bads-btor'