Added "test_cell -nosat"
authorClifford Wolf <clifford@clifford.at>
Sun, 7 Sep 2014 15:05:41 +0000 (17:05 +0200)
committerClifford Wolf <clifford@clifford.at>
Sun, 7 Sep 2014 15:05:41 +0000 (17:05 +0200)
commit15b3c54fea80b7ccfd02c66c28ed38c610e23254
tree52c25dd76c57a6f8e0bdbb502dc5a346a4c5a455
parent9329a768181d3765a08c3b264c8b0031b732c0d4
Added "test_cell -nosat"
passes/tests/test_cell.cc