satisfy codetool