VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL.
GNU General Public License v2.0
1
stars
4
forks
source link
Improve exception safety with smart pointers #24
Open
elfring opened 1 year ago
:thought_balloon: Would you like to wrap any pointer data members with the class template “std::unique_ptr”?