6e2aa47285
* add ability to trace location information in concolic tracer * fix formatting * introduce location new-type * fix conolic smoke test * impl From instead of custom into_inner function * fmt * change to use usize instead of NonZeroUsize in order to no over-constrain the implementation