Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make SimcallInspector::dot_label and to_string pure virtual again.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 3 Mar 2021 16:46:30 +0000 (17:46 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 3 Mar 2021 17:02:06 +0000 (18:02 +0100)
commit826d6d69d99e2d0530922ed2bfe3cc7a7414f622
tree524f03cc21eb32b57de3a158f925a7f7880acc86
parent4e82e3e26538d98d546833ea8b4a4879839a9f33
Make SimcallInspector::dot_label and to_string pure virtual again.

It was wronly removed in commit 99b0a6c6788a22a446be3519233dd524a44f1ffd.
src/mc/checker/SimcallInspector.cpp
src/mc/checker/SimcallInspector.hpp
src/simix/simcalls.in