manticore icon indicating copy to clipboard operation
manticore copied to clipboard

Published 20 hours ago • verified publisher icon ManticoreProject

Odd issue in alt-ret-tuple

Open kavon opened this issue 4 years ago • 0 comments

See the comment in alt-ret-tuple.pml from the regression suite for details. I'm not sure what's going on actually. Referenced in commit 9ad955a7ed7faca1fc01b548b07e59c396819773

kavon avatar Mar 25 '20 02:03 kavon