Added SAT undef model for $pmux and $safe_pmux
authorClifford Wolf <clifford@clifford.at>
Thu, 2 Jan 2014 18:58:59 +0000 (19:58 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 2 Jan 2014 18:58:59 +0000 (19:58 +0100)
commit1f80557adeede4d6fb90bab76e9a8acc2450136c
tree9f0a158b0e7e151f21648131c988cff46d683e21
parent0759c97748dc159bacc4a25fd83b6fddfe618bc6
Added SAT undef model for $pmux and $safe_pmux
kernel/satgen.h