Using $initstate in "initial assume" and "initial assert"
authorClifford Wolf <clifford@clifford.at>
Thu, 21 Jul 2016 12:37:28 +0000 (14:37 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 21 Jul 2016 12:37:28 +0000 (14:37 +0200)
commit7fef5ff10436a51a91f57157f687345795f60e40
treeb31f52fc325639ad520715696a13563dc0ef8f8c
parent5c166e76e52cdaf6ea97952c17d3d79185a59f96
Using $initstate in "initial assume" and "initial assert"
frontends/ast/simplify.cc