Mercurial > hg > Papers > 2021 > kono-sigos
view src/meta.pm @ 0:67e6ca3c7e6c
model checking
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 27 Apr 2021 14:25:56 +0900 |
parents | |
children |
line wrap: on
line source
package meta; use strict; use warnings; sub replaceMeta { return ( [qr/PhilsImpl/ => \&generateMcMeta], ); } sub generateRandomMeta { my ($context, $next) = @_; return "goto random($context, $next);"; } sub generateMcMeta { my ($context, $next) = @_; return "goto mcMeta($context, $next);"; } 1;