fixed a bug in the vector gen primitive per Issue #276, so that creating a vector of size bigger than the biggest Int now signals an error
fixed a bug in the vector gen primitive per Issue #276, so that creating a vector of size bigger than the biggest Int now signals an error

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script