alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

bin: add shorthand for ltl3tela

Browse source 
That's the new name of ltl3hoa.

* bin/common_trans.cc: Add it.
This commit is contained in:
Alexandre Duret-Lutz 2017-10-19 11:45:44 +02:00
parent 566d8e5c87
commit f42f156861
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
bin/common_trans.cc
View file

@ -54,6 +54,8 @@ static shorthands_t shorthands_ltl[] = {
{ "ltl3ba", " -f %s>%O" }, { "ltl3ba", " -f %s>%O" },
{ "ltl3dra", " -f %s>%O" }, { "ltl3dra", " -f %s>%O" },
{ "ltl3hoa", " -f %f>%O" }, { "ltl3hoa", " -f %f>%O" },
// ltl3tela is the new name of ltl3hoa
{ "ltl3tela", " -f %f>%O" },
{ "modella", " %[MWei^]L %O" }, { "modella", " %[MWei^]L %O" },
{ "spin", " -f %s>%O" }, { "spin", " -f %s>%O" },
}; };