radeco-mini-tests Hand-written assembly and small testcases to test specific cases in binary analysis