Added $assert support to satgen
authorClifford Wolf <clifford@clifford.at>
Sun, 19 Jan 2014 14:37:56 +0000 (15:37 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 19 Jan 2014 14:37:56 +0000 (15:37 +0100)
commitc36bac0e109b2a7192247cd3df9319f6f10a3e84
tree1ff8677820b9cf1fe11601e1f1c7ddc1f33b9428
parent1e67099b77904802880ad7c53d2cac33c6df456f
Added $assert support to satgen
kernel/satgen.h