search

moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

Allow concrete testing of designs #142

Closed moralismercatus closed 8 years ago

moralismercatus commented 8 years ago

Currently, if you don't specify any symbolic args or files, input_arguments.bin won't be generated. This causes problems. It's a sanity check - with the assumption that you always want at least some symbolic data.

However, there is the case where you just want to run the design concretely to see if CRETE can handle it.

The workaround, for now, is to list an arg or file in the config as symbolic and not use it. It has the effect of concretely running a design, but also generates the input_arguments.bin file.

moralismercatus commented 8 years ago

On further consideration, normal behavior expects some symbolic input; therefore, the workaround actually seems appropriate for this exceptional case.