tree a11ce8db218ebb72a22137d4cb38323f739bcfd3
parent ad2660746740ccce328d14ac2a4d9e52e9d26fb3
author Davide Pesavento <davidepesa@gmail.com> 1678743862 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1678743862 -0400

tests: use std::optional

Change-Id: I53feb53061cd8374bc296b7dfd13175d7c7d4e37