item(rand_obj* parent = 0) : rand_obj(parent), src_addr(this), dest_addr(this), data(this), x(this), y(this), z(this) { constraint(dist(src_addr(), distribution<uint>::simple_range(0, 0xFE))); constraint(dest_addr() <= src_addr()); constraint("neg_data", -16 < data() && data() < 0); constraint("pos_data", 16 > data() && data() > 0); constraint(bitslice(10, 3, x()) == 0xFF); constraint(x() > 123456); constraint((y() ^ 0x7FFF) == 0); constraint((z() >> 4) == 0x000F); }
using crave::dist; using crave::bitslice; class item : public crv_sequence_item { public: crv_variable<unsigned> src_addr; crv_variable<unsigned> dest_addr; crv_variable<short> data; crv_variable<int> x; crv_variable<short> y, z; crv_constraint c_addr_constraints{ dist(src_addr(), distribution<unsigned>::simple_range(0, 0xFE)), dest_addr() <= src_addr() }; crv_constraint c_neg_data{ -16 < data(), data() < 0 }; crv_constraint c_pos_data{ 16 > data(), data() > 0 }; crv_constraint c_x_constraints{ bitslice(10, 3, x()) == 0xFF, x() > 123456 }; crv_constraint c_y_constraints{(y() ^ 0x7FFF) == 0 }; crv_constraint c_z_constraints{(z() >> 4) == 0x000F }; item(crv_object_name) {} friend ostream& operator<<(ostream& os, item& it) { os << it.src_addr << " " << it.dest_addr << " " << it.data << " " << it.x << " " << it.y << " " << it.z; return os; } }; int main(int argc, char* argv[]) { crave::init("crave.cfg"); item it("single_packet"); CHECK(!it.randomize()); // unsatisfiable constraints (data < 0) and (data > 0)