tree f8e4e5a3ea534dd24c9e800e368fc6a3dec245d9
parent c5e3e7a55d03c878ccb7c7b80ac97b0bca830e68
author Davide Pesavento <davidepesa@gmail.com> 1678757703 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1678762455 -0400

tests: use std::nullopt

Change-Id: I7efdc8076c1bc4ced11dd3bdab7f199609009545