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

typos: familly -> family

Browse source 
* bench/ltlcounter/README, doc/org/upgrade2.org: Here.
This commit is contained in:
Alexandre Duret-Lutz 2017-04-23 11:28:28 +02:00
parent d25cdd4c6c
commit 5e8f3ee629
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
bench/ltlcounter/README
View file

@ -16,7 +16,7 @@ describing counters was used to stress many translators.
For a description of these formulae, you may also see
http://ti.arc.nasa.gov/m/profile/kyrozier/benchmarking_scripts/node5.html
This benchmark used this familly of formulae to plot the performance
This benchmark used this family of formulae to plot the performance
of the ltl2tgba_fm algorithm. Studying the behaviour of ltl2tgba_fm
on this class of formulae helped us to improve the translation.